test: update logitest config

src/main/sidekick_version.ml

@@ -1,2 +1,2 @@
-let version = {git|17aa62dd6f3fbb89bc7e98ff882f06d7b21a5551
+let version = {git|ef77e1e729f176c3db680de25df9f2f820795e47
 |git}

tests/conf.toml

@@ -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"
-
-
-

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))))
+