diff --git a/src/main/sidekick_version.ml b/src/main/sidekick_version.ml
index f829225c..bcefbe83 100644
--- a/src/main/sidekick_version.ml
+++ b/src/main/sidekick_version.ml
@@ -1,2 +1,2 @@
-let version = {git|17aa62dd6f3fbb89bc7e98ff882f06d7b21a5551
+let version = {git|ef77e1e729f176c3db680de25df9f2f820795e47
 |git}
\ No newline at end of file
diff --git a/tests/conf.toml b/tests/conf.toml
deleted file mode 100644
index 2937876a..00000000
--- a/tests/conf.toml
+++ /dev/null
@@ -1,36 +0,0 @@
-
-provers = [ "sidekick", "read-status", "z3" ]
-default_expect = "sat"
-
-[sidekick]
-
-binary = "./sidekick"
-cmd = "./sidekick --no-check --time $timeout $file"
-unsat = "Unsat"
-sat = "Sat"
-unknown = "Timeout|Unknown"
-version = "git:."
-
-[read-status]
-
-cmd = "grep :status $file"
-unsat = ":status unsat"
-sat = ":status sat"
-
-[z3]
-
-cmd = "z3 $file"
-unsat = "unsat"
-sat = "^sat"
-
-[test]
-
-timeout=10
-problems = ".*\\.smt2"
-provers = [ "sidekick", ]
-
-# TODO: expect=[program:read-status; program:z3]
-expect = "program:z3"
-
-
-
diff --git a/tests/logitest.sexp b/tests/logitest.sexp
new file mode 100644
index 00000000..586830a9
--- /dev/null
+++ b/tests/logitest.sexp
@@ -0,0 +1,17 @@
+
+(prover
+  (name sidekick-dev)
+  (cmd "$cur_dir/../sidekick --no-check --time $timeout $file")
+  (unsat "Unsat")
+  (sat "Sat")
+  (unknown "Timeout|Unknown")
+  (version "git:."))
+
+(task
+  (name sidekick-smt-all)
+  (action
+    (run_provers
+      (provers sidekick-dev z3)
+      (timeout 10)
+      (dirs $HOME/workspace/smtlib))))
+