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

%% Regression level = 0
%% Result = Valid
%% Runtime = 1
%% Language = presentation

x, y : BOOLEAN;

ASSERT (x OR y);
ASSERT NOT (x OR y);

QUERY FALSE;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback