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

fix: update quip CLI arguments

Browse source
This commit is contained in:
Simon Cruanes 2021-12-28 10:57:30 -05:00
parent b2e8f8b29d
commit 8958301a8e
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
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

@ -9,7 +9,7 @@
(proof_checker
(name quip)
(cmd "quip -nc $proof_file --problem=$file")
(cmd "quip check --color=false $proof_file --problem=$file")
(valid "^OK$")
(invalid "^FAIL$"))