summaryrefslogtreecommitdiff
path: root/test/regress/regress0/simplification_bug3.cvc
blob: 26efad5b6821517fb11bab35ebff68cf17ac212f (plain) 
1
2
3
4
5
6
7
8

% COMMAND-LINE: --simplification=incremental
x, y: BOOLEAN;
ASSERT x OR y;
ASSERT NOT x;
ASSERT NOT y;
% EXPECT: unsat
CHECKSAT;
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback