% Tests the invariants for multiple queries.
% COMMAND-LINE: --incremental
a, b: BOOLEAN;
% EXPECT: valid
QUERY (a AND b) OR NOT (a AND b);
% EXPECT: invalid
QUERY (a OR b);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback