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