summaryrefslogtreecommitdiff
path: root/test/regress/regress0/boolean-prec.cvc
blob: cdfb3a09fbc9e2c3e75325a7334dbd6641188195 (plain) 
1
2
3
4
5
6
7

% EXPECT: valid
% Simple test for right precedence of AND, <=>, NOT.

A, B, C: BOOLEAN;

QUERY (NOT A AND NOT B <=> C) <=> (((NOT A) AND (NOT B)) <=> C);
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback