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

fixup: modify benchpress for new output

Browse source
This commit is contained in:
Simon Cruanes 2022-08-14 23:21:40 -04:00
parent 08a4ed892d
commit e9dae47d0b
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tests/benchpress.sexp
View file

@ -2,9 +2,9 @@
(prover (prover
(name sidekick-dev) (name sidekick-dev)
(cmd "$cur_dir/../sidekick --no-check --time $timeout $file") (cmd "$cur_dir/../sidekick --no-check --time $timeout $file")
(unsat "Unsat") (unsat "^unsat")
(sat "Sat") (sat "^sat")
(unknown "Timeout|Unknown") (unknown "^(timeout|unknown)")
(version "git:.")) (version "git:."))
(proof_checker (proof_checker