From 172ff8bca3c60395f98755f921a5b741add0ac6f Mon Sep 17 00:00:00 2001
From: Guillaume Bury <admin@gbury.eu>
Date: Mon, 10 Nov 2014 20:01:51 +0100
Subject: [PATCH] Added smtlib unsat tests to test script

---
 tests/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/run b/tests/run
index 21b791da..f7410e82 100755
--- a/tests/run
+++ b/tests/run
@@ -4,7 +4,7 @@ CURDIR=`dirname $0`
 SOLVER="$CURDIR/../sat_solve.native"
 
 solvertest () {
-    for f in `find -L $1 -name *.cnf -type f`
+    for f in `find -L $1 -type f -name '*.cnf' -o -name '*.smt2'`
     do
         echo -ne "\r\033[KTesting $f..."
         "$SOLVER" -check -time 30s -size 1G $f | grep $2 > /dev/null 2> /dev/null