summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/xor-assoc.cvc
blob: 27911332c3361dc5e4f9ab76fd15469b93e9d6d5 (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