Adding tests

OCamlPro · Oct 2, 2023 · 3a2fd52 · 3a2fd52
1 parent 83d051a
commit 3a2fd52
Show file tree

Hide file tree

Showing 9 changed files with 623 additions and 0 deletions.
diff --git a/tests/dune.inc b/tests/dune.inc
diff --git a/tests/smtlib/testfile-exit.dolmen.expected b/tests/smtlib/testfile-exit.dolmen.expected
@@ -0,0 +1,2 @@
+
+unknown
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.expected b/tests/smtlib/testfile-exit.expected
@@ -0,0 +1,2 @@
+
+unknown
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.expected b/tests/smtlib/testfile-reset.dolmen.expected
@@ -0,0 +1,4 @@
+
+unsat
+
+unknown
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.expected b/tests/smtlib/testfile-reset.expected
@@ -0,0 +1,4 @@
+
+unsat
+
+unknown
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)