From 5654414bfa90ac5cd68a7d8ed0b42109823c780c Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Tue, 18 Nov 2014 18:41:32 +0100 Subject: [PATCH] Small fixes --- Makefile | 2 +- bench/Makefile | 2 +- tests/unsat/test-000.cnf | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 290b852d..e47b80ea 100644 --- a/Makefile +++ b/Makefile @@ -29,7 +29,7 @@ bench: build-test cd bench && $(MAKE) stats: - ./bench_stats.native + @./bench_stats.native log: cat _build/$(LOG) || true diff --git a/bench/Makefile b/bench/Makefile index 31a105c2..4bfc64ac 100644 --- a/bench/Makefile +++ b/bench/Makefile @@ -29,7 +29,7 @@ $(PROVER): $(SOLVER) $(SOLVER): cd .. && $(MAKE) -$(LOGDIR)/raw/%.done : $(PROVER) +$(LOGDIR)/raw/%.done : dummy $(PROVER) @mkdir -p $(dir $@) @echo "solving problem $*.cnf..." | tee -a $(INDEX) @./run_prover "$(CMD)" "$*.cnf" "$@" diff --git a/tests/unsat/test-000.cnf b/tests/unsat/test-000.cnf index dcf4d0c5..4db8e56c 100644 --- a/tests/unsat/test-000.cnf +++ b/tests/unsat/test-000.cnf @@ -1,5 +1,5 @@ c First test -p cnf 0 0 +p cnf 2 3 1 0 -1 2 0 -1 -2 0