summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/bool-cmp.cvc
blob: ef1345cc12a015188001a1103b8d35851b2575d2 (plain) 
1
2
3
4
5
6
7

% EXPECT: VALID
% Simple test for right precedence of comparisons and booleans

x , y, z: INT;

QUERY (x > y AND y = z OR x < z) <=> (((x > y) AND (y = z)) OR (x < z));
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback