From 37d8ddbd7b73f85077ea0072e163e7b6d2fe7f38 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 14 Nov 2014 18:01:07 +0100
Subject: [PATCH] Trivial tests for smt

---
 tests/smt/test-007.smt2 | 2 ++
 tests/smt/test-008.smt2 | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 tests/smt/test-007.smt2
 create mode 100644 tests/smt/test-008.smt2

diff --git a/tests/smt/test-007.smt2 b/tests/smt/test-007.smt2
new file mode 100644
index 00000000..62c9e167
--- /dev/null
+++ b/tests/smt/test-007.smt2
@@ -0,0 +1,2 @@
+(assert (and (= a b) (= b c)))
+(check-sat)
diff --git a/tests/smt/test-008.smt2 b/tests/smt/test-008.smt2
new file mode 100644
index 00000000..37195b5d
--- /dev/null
+++ b/tests/smt/test-008.smt2
@@ -0,0 +1,2 @@
+(assert (and (= a b) (= b c) (not (= a c))))
+(check-sat)