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: better conf for sidekick

Browse source
This commit is contained in:
Simon Cruanes 2019-12-09 19:11:29 -06:00
parent c4d2a800ab
commit c54ee2310e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/logitest.sexp
View file

@ -16,7 +16,7 @@
(name sidekick-local-test) (name sidekick-local-test)
(action (action
(run_provers (run_provers
(provers sidekick) (provers sidekick-dev)
(timeout 10) (timeout 10)
(dirs tests)))) (dirs))))