summaryrefslogtreecommitdiff
path: root/test/regress/regress0/queries0.cvc
blob: 1109840834809d62a6a49a08251ee9e8614b0922 (plain) 
1
2
3
4
5
6
7
8
9
10
11

% Tests the invariants for multiple queries.

a, b: BOOLEAN;

% EXPECT: valid
QUERY (a AND b) OR NOT (a AND b);

% EXPECT: invalid
QUERY (a OR b);

% EXIT: 10
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback