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

Small fixes

Browse source
This commit is contained in:
Guillaume Bury 2014-11-18 18:41:32 +01:00
parent 460df56d4b
commit 5654414bfa
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -29,7 +29,7 @@ bench: build-test
cd bench && $(MAKE) cd bench && $(MAKE)
stats: stats:
./bench_stats.native @./bench_stats.native
log: log:
cat _build/$(LOG) || true cat _build/$(LOG) || true

2
bench/Makefile
View file

@ -29,7 +29,7 @@ $(PROVER): $(SOLVER)
$(SOLVER): $(SOLVER):
cd .. && $(MAKE) cd .. && $(MAKE)
$(LOGDIR)/raw/%.done : $(PROVER) $(LOGDIR)/raw/%.done : dummy $(PROVER)
@mkdir -p $(dir $@) @mkdir -p $(dir $@)
@echo "solving problem $*.cnf..." | tee -a $(INDEX) @echo "solving problem $*.cnf..." | tee -a $(INDEX)
@./run_prover "$(CMD)" "$*.cnf" "$@" @./run_prover "$(CMD)" "$*.cnf" "$@"

2
tests/unsat/test-000.cnf
View file

@ -1,5 +1,5 @@
c First test c First test
p cnf 0 0 p cnf 2 3
1 0 1 0
-1 2 0 -1 2 0
-1 -2 0 -1 -2 0