path: root/test/regress/regress0/precedence/bool-cmp.cvc

% EXPECT: entailed
% Simple test for right precedence of comparisons and booleans

x , y, z: INT;

QUERY (x > y AND y = z OR x < z) <=> (((x > y) AND (y = z)) OR (x < z));