summaryrefslogtreecommitdiff
path: root/test/regress/regress0/push-pop/test.00.cvc
blob: 38d72022754f914c8bc45fc27f76a0f3bd88ffb9 (plain) 
1
2
3
4
5
6
7
8
9
10
11

x: BOOLEAN;

PUSH;
ASSERT x;
% EXPECT: sat
CHECKSAT;
POP;
ASSERT (NOT x);
% EXPECT: unsat
CHECKSAT;
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback