diff --git a/tests/smtlib/testfile-exit.dolmen.smt2 b/tests/smtlib/testfile-exit.dolmen.smt2
new file mode 100644
index 0000000000..135ade6d3a
--- /dev/null
+++ b/tests/smtlib/testfile-exit.dolmen.smt2
@@ -0,0 +1,4 @@
+(set-logic ALL)
+(check-sat)
+(exit)
+(check-sat)
\ No newline at end of file
diff --git a/tests/smtlib/testfile-exit.smt2 b/tests/smtlib/testfile-exit.smt2
new file mode 100644
index 0000000000..135ade6d3a
--- /dev/null
+++ b/tests/smtlib/testfile-exit.smt2
@@ -0,0 +1,4 @@
+(set-logic ALL)
+(check-sat)
+(exit)
+(check-sat)
\ No newline at end of file
diff --git a/tests/smtlib/testfile-reset.dolmen.smt2 b/tests/smtlib/testfile-reset.dolmen.smt2
new file mode 100644
index 0000000000..101715c147
--- /dev/null
+++ 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)
\ No newline at end of file
diff --git a/tests/smtlib/testfile-reset.smt2 b/tests/smtlib/testfile-reset.smt2
new file mode 100644
index 0000000000..101715c147
--- /dev/null
+++ 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)
\ No newline at end of file