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:   2 ^ x
% EXIT: 1
x: INT;
ASSERT 2^x = 8;
QUERY x=3;