diff options
Diffstat (limited to 'test/regress/regress0/push-pop/test.00.cvc')
| -rw-r--r-- | test/regress/regress0/push-pop/test.00.cvc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/regress/regress0/push-pop/test.00.cvc b/test/regress/regress0/push-pop/test.00.cvc index 836349251..38d720227 100644 --- a/test/regress/regress0/push-pop/test.00.cvc +++ b/test/regress/regress0/push-pop/test.00.cvc @@ -2,7 +2,10 @@ x: BOOLEAN; PUSH; ASSERT x; +% EXPECT: sat CHECKSAT; POP; ASSERT (NOT x); +% EXPECT: unsat CHECKSAT; +% EXIT: 20 |