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

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