xref
: /
dports
/
math
/
cvc4
/
CVC4-1.7
/
test
/
regress
/
regress0
/
arith
/
integers
/
arith-int-042.min.cvc
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
% EXPECT: valid
2
x1: INT;
3
x0: INT;
4
QUERY NOT (((x0 * 6) + (x1 * 32)) = 1);
5