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

test: fix config for new option format

Browse source
This commit is contained in:
Simon Cruanes 2019-06-07 11:36:45 -05:00
parent 2efa811b3f
commit 951be35112
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/conf.toml
View file

@ -5,7 +5,7 @@ default_expect = "sat"
[sidekick] [sidekick]
binary = "./sidekick" binary = "./sidekick"
cmd = "./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"