summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/xor-assoc.cvc
blob: a356f9b3a2683205e8925f5bced14bbaad9e2fb2 (plain) 
1
2
3
4
5
6
7

% EXPECT: valid
% Simple test for left associativity of XOR

A, B, C: BOOLEAN;

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