From 0ec9c1683f5f1a6577a7905cc4e2f7deb9014c2b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 7 Dec 2019 18:03:31 -0600
Subject: [PATCH] test: modify logitest config file

---
 tests/logitest.sexp | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 tests/logitest.sexp

diff --git a/tests/logitest.sexp b/tests/logitest.sexp
new file mode 100644
index 00000000..e8b3b921
--- /dev/null
+++ b/tests/logitest.sexp
@@ -0,0 +1,24 @@
+
+(prover
+  (name sidekick-dev)
+  (binary "./sidekick")
+  (cmd "./sidekick --no-check --time $timeout $file")
+  (unsat "Unsat")
+  (sat "Sat")
+  (unknown "Timeout|Unknown")
+  (version "git:."))
+
+(dir
+  (path tests)
+  (pattern ".*.(smt2|cnf)")
+  (expect (run z3)))
+
+(task
+  (name sidekick-local-test)
+  (action
+    (run_provers
+      (provers sidekick)
+      (timeout 10)
+      (dirs tests))))
+
+