From e51e996512c3e28a829f474793ae6fd83cb13dbd Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 7 Jun 2019 11:24:04 -0500
Subject: [PATCH] test: only run on smt2 files

---
 tests/conf.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/conf.toml b/tests/conf.toml
index 3e243cc9..8ec88290 100644
--- a/tests/conf.toml
+++ b/tests/conf.toml
@@ -20,7 +20,7 @@ sat = ":status sat"
 [test]
 
 timeout=10
-problems = ".*\\.(smt2|cnf)"
+problems = ".*\\.smt2"
 provers = [ "sidekick", ]
 dir = [ "." ]