path: root/test/regress/regress0/precedence/xor-and.cvc

% EXPECT: VALID
% Simple test for right precedence of XOR and AND.

A, B, C: BOOLEAN;

QUERY (A XOR B AND C) <=> (A XOR (B AND C));