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 expect field in toml

Browse source
This commit is contained in:
Simon Cruanes 2019-11-20 17:53:18 -06:00
parent f1fc429b5a
commit 678bf5e03d
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
tests/conf.toml
View file

@ -1,5 +1,5 @@
provers = [ "sidekick", "read-status" ] provers = [ "sidekick", "read-status", "z3" ]
default_expect = "sat" default_expect = "sat"
[sidekick] [sidekick]
@ -17,13 +17,20 @@ cmd = "grep :status $file"
unsat = ":status unsat" unsat = ":status unsat"
sat = ":status sat" sat = ":status sat"
[z3]
cmd = "z3 $file"
unsat = "unsat"
sat = "^sat"
[test] [test]
timeout=10 timeout=10
problems = ".*\\.smt2" problems = ".*\\.smt2"
provers = [ "sidekick", ] provers = [ "sidekick", ]
expect = "program:read-status" # TODO: expect=[program:read-status; program:z3]
expect = "program:z3"