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

chore: update test config

Browse source
This commit is contained in:
Simon Cruanes 2019-11-19 16:16:47 -06:00
parent 801e3d25b4
commit 0aa7a4ea25
2 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
Makefile
View file

@ -32,9 +32,16 @@ DATE=$(shell date +%FT%H:%M)
logitest-quick: logitest-quick:
@mkdir -p snapshots @mkdir -p snapshots
$(TESTTOOL) run -c tests/conf.toml tests/ $(TESTOPTS) \ $(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
--meta `git rev-parse HEAD` --summary snapshots/quick-$(DATE).txt \ --meta `git rev-parse HEAD` --csv snapshots/quick-$(DATE).csv tests/sat tests/unsat/ tests/pigeon
--csv snapshots/quick-$(DATE).csv logitest-smt-QF_UF:
@mkdir -p snapshots
$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
--meta `git rev-parse HEAD` --csv snapshots/smt-QF_UF-$(DATE).csv tests/QF_UF
logitest-smt-QF_DT:
@mkdir -p snapshots
$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
--meta `git rev-parse HEAD` --csv snapshots/smt-QF_DT-$(DATE).csv tests/QF_DT
install: build-install install: build-install
@dune install @dune install

1
tests/conf.toml
View file

@ -22,7 +22,6 @@ sat = ":status sat"
timeout=10 timeout=10
problems = ".*\\.smt2" problems = ".*\\.smt2"
provers = [ "sidekick", ] provers = [ "sidekick", ]
dir = [ "." ]
expect = "program:read-status" expect = "program:read-status"