Adding tests

OCamlPro · Oct 2, 2023 · b6af21c · b6af21c
1 parent 63b9e52
commit b6af21c
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 0 deletions.
diff --git a/tests/smtlib/testfile-exit.dolmen.smt2 b/tests/smtlib/testfile-exit.dolmen.smt2
@@ -0,0 +1,4 @@
+(set-logic ALL)
+(check-sat)
+(exit)
+(check-sat)
diff --git a/tests/smtlib/testfile-exit.smt2 b/tests/smtlib/testfile-exit.smt2
@@ -0,0 +1,4 @@
+(set-logic ALL)
+(check-sat)
+(exit)
+(check-sat)
diff --git a/tests/smtlib/testfile-reset.dolmen.smt2 b/tests/smtlib/testfile-reset.dolmen.smt2
@@ -0,0 +1,8 @@
+(set-logic ALL)
+
+(declare-const b Bool)
+
+(assert (and b (not b)))
+(check-sat)
+(reset)
+(check-sat)
diff --git a/tests/smtlib/testfile-reset.smt2 b/tests/smtlib/testfile-reset.smt2
@@ -0,0 +1,8 @@
+(set-logic ALL)
+
+(declare-const b Bool)
+
+(assert (and b (not b)))
+(check-sat)
+(reset)
+(check-sat)