simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

test: update test config to use $cur_dir

Browse source
This commit is contained in:
Simon Cruanes 2019-12-07 18:53:46 -06:00
parent 0ec9c1683f
commit c4d2a800ab
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
tests/logitest.sexp
View file

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