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

% EXPECT: The POW(^) operator can only be used with a natural number in the exponent.  Exception occurred in:
% EXPECT:   2 ^ x
% EXIT: 1
x: INT;
ASSERT 2^x = 8;
QUERY x=3;