summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/not-eq.cvc
blob: 16c812086da80b390bf8134b8d9fe1f78b75b84d (plain) 
1
2
3
4
5
6
7

% EXPECT: VALID
% Simple test for right precedence of = and NOT.

A, B: BOOLEAN;

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