diff --git a/tests/logitest.sexp b/tests/logitest.sexp
index e8b3b921..74466163 100644
--- a/tests/logitest.sexp
+++ b/tests/logitest.sexp
@@ -1,17 +1,16 @@
 
 (prover
   (name sidekick-dev)
-  (binary "./sidekick")
-  (cmd "./sidekick --no-check --time $timeout $file")
+  (cmd "${cur_dir}/../sidekick --no-check --time $timeout $file")
   (unsat "Unsat")
   (sat "Sat")
   (unknown "Timeout|Unknown")
   (version "git:."))
 
 (dir
-  (path tests)
+  (path $cur_dir)
   (pattern ".*.(smt2|cnf)")
-  (expect (run z3)))
+  (expect (try (run smtlib-read-status) (run z3))))
 
 (task
   (name sidekick-local-test)
@@ -21,4 +20,3 @@
       (timeout 10)
       (dirs tests))))
 
-