summaryrefslogtreecommitdiff
path: root/test/regress/regress0/boolean-prec.cvc
blob: d0205116cca3912827058239a61675b44d2fa725 (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