diff options
Diffstat (limited to 'test/regress/regress0/push-pop/units.cvc')
-rw-r--r-- | test/regress/regress0/push-pop/units.cvc | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/test/regress/regress0/push-pop/units.cvc b/test/regress/regress0/push-pop/units.cvc deleted file mode 100644 index 3550174d8..000000000 --- a/test/regress/regress0/push-pop/units.cvc +++ /dev/null @@ -1,29 +0,0 @@ -% COMMAND-LINE: --incremental -x, y: BOOLEAN; -ASSERT x OR y; -% EXPECT: sat -CHECKSAT; -PUSH; - ASSERT NOT x; -% EXPECT: sat - CHECKSAT; - PUSH; - ASSERT NOT y; -% EXPECT: unsat - CHECKSAT; - POP; -% EXPECT: sat - CHECKSAT; -POP; -% EXPECT: sat -CHECKSAT; -PUSH 2; -ASSERT x; -ASSERT NOT x; -% EXPECT: unsat -CHECKSAT; -POP 2; -% EXPECT: sat -CHECKSAT; - - |