path: root/test/regress/regress1/arith/bug716.1.cvc

% EXPECT: The exponent of the POW(^) operator can only be a positive integral constant below 67108864. Exception occurred in:
% EXPECT:   3 ^ x
% EXIT: 1
x: INT;
ASSERT 3^x = 27;
QUERY x=3;