diff options
Diffstat (limited to 'test/regress/regress0/preprocess/preprocess_04.cvc')
-rw-r--r-- | test/regress/regress0/preprocess/preprocess_04.cvc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/test/regress/regress0/preprocess/preprocess_04.cvc b/test/regress/regress0/preprocess/preprocess_04.cvc deleted file mode 100644 index fd4121432..000000000 --- a/test/regress/regress0/preprocess/preprocess_04.cvc +++ /dev/null @@ -1,15 +0,0 @@ -% EXPECT: unsat - -a0, a1, a2, a3, a4, a5, a6, a7, a8: BOOLEAN; - -ASSERT (NOT a1); -ASSERT (a4 AND a7); -ASSERT - IF (a0 AND a1 AND a2) - THEN (a3 AND a4 AND a5) - ELSE (a6 AND NOT a7 AND a8) - ENDIF; - -CHECKSAT; - - |