summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/bool-cmp.cvc
blob: d19ab9aae0d94af7a3f09cbeee486896dfe1a6dd (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