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

rename logitest to benchpress

Browse source
This commit is contained in:
Simon Cruanes 2019-12-13 16:38:01 -06:00
parent 85b0066660
commit d6c003390d
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
Makefile
View file

@ -26,19 +26,19 @@ clean:
test:
@dune runtest --force --no-buffer
TESTOPTS ?= -j $(J) -c tests/logitest.sexp
TESTTOOL=logitest
TESTOPTS ?= -j $(J) -c tests/benchpress.sexp
TESTTOOL=benchpress
DATE=$(shell date +%FT%H:%M)
snapshots:
@mkdir -p snapshots
logitest-quick: snapshots
$(TESTTOOL)-quick: snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick
logitest-smt-QF_UF: snapshots
$(TESTTOOL)-smt-QF_UF: snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_UF-$(DATE).csv --task sidekick-smt-nodir tests/QF_UF
logitest-smt-QF_DT: snapshots
$(TESTTOOL)-smt-QF_DT: snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_DT-$(DATE).csv --task sidekick-smt-nodir tests/QF_DT

0
tests/logitest.sexp → tests/benchpress.sexp
View file