summaryrefslogtreecommitdiff
path: root/test/regress/regress0/arith/integers/arith-interval.cvc
blob: e8b229faa9b69bed513086835c9fd16a75cd0098 (plain) 
1
2
3
4
5
6
7
8

% EXPECT: valid
% EXIT: 20
x: INT;
P: INT -> BOOLEAN;

ASSERT 1 <= x AND x <= 2;
ASSERT P(1) AND P(2);
QUERY P(x);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback