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

test: detail in benchpress config

Browse source
This commit is contained in:
Simon Cruanes 2020-07-28 15:55:54 -04:00
parent 527b5657b3
commit b724882516
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/benchpress.sexp
View file

@ -10,7 +10,7 @@
(dir (dir
(path $cur_dir) (path $cur_dir)
(pattern ".*.(smt2|cnf)$") (pattern ".*.(smt2|cnf)$")
(expect (try (run smtlib-read-status) (run z3)))) (expect (try (run smtlib-read-status) (run z3) (const unknown))))
(task (task
(name sidekick-smt-quick) (name sidekick-smt-quick)