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

Better logging in index when benchmarking (again)

Browse source
This commit is contained in:
Guillaume Bury 2014-11-05 23:50:29 +01:00
parent 7288f6ece2
commit f9fde897e0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bench/Makefile
View file

@ -31,6 +31,6 @@ $(SOLVER):
$(LOGDIR)/raw/%.done : $(PROVER) $(LOGDIR)/raw/%.done : $(PROVER)
@mkdir -p $(dir $@) @mkdir -p $(dir $@)
@echo "solving problem $*.cnf..." @echo "solving problem $*.cnf..." | tee -a $(INDEX)
@./run_prover "$(CMD)" "$*.cnf" "$@" @./run_prover "$(CMD)" "$*.cnf" "$@"