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

test: add small sudoku solver to test the CDCL(T) interface

Browse source
This commit is contained in:
Simon Cruanes 2019-01-25 22:02:06 -06:00 • committed by Guillaume Bury
parent ced266663e
commit 9a8f0e9d82
2 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
tests/Makefile
View file

@ -6,3 +6,10 @@ test-icnf:
diff regression/.`basename $$i`.out regression/.`basename $$i`.ref \ diff regression/.`basename $$i`.out regression/.`basename $$i`.ref \
|| ( echo "mismatch for $$i" ; exit 1) ; \ || ( echo "mismatch for $$i" ; exit 1) ; \
done done
test-sudoku:
@for i in sudoku/sudoku.txt ; do \
echo "test problem $$i"; \
./../src/sudoku/sudoku_solve.exe $$i ; \
done

4
tests/dune
View file

@ -17,3 +17,7 @@
(deps ./icnf-solve/icnf_solve.exe Makefile (source_tree regression)) (deps ./icnf-solve/icnf_solve.exe Makefile (source_tree regression))
(action (run make test-icnf))) (action (run make test-icnf)))
(alias
(name runtest)
(deps ./../src/sudoku/sudoku_solve.exe Makefile (source_tree sudoku))
(action (run make test-sudoku)))