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

a, b, c : BOOLEAN;

ASSERT NOT a OR NOT b;
ASSERT c OR b OR a;
ASSERT b OR NOT a;
ASSERT a OR NOT b OR c;
% EXPECT: INVALID
QUERY FALSE;

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