From c4d2a800ab5776561a9a0f81f3b585493aa83768 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 7 Dec 2019 18:53:46 -0600
Subject: [PATCH] test: update test config to use `$cur_dir`

---
 tests/logitest.sexp | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

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