summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug32.cvc
blob: c6d79a4ab02e946ba52a510ace1ec70a2e9d3095 (plain) 
1
2
3
4
5
6
7

% EXPECT: VALID
a:BOOLEAN;
b:BOOLEAN;
ASSERT(a);
QUERY(a OR b);

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