diff --git a/tests/Makefile b/tests/Makefile index 209361a8..e8b199ee 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -6,3 +6,10 @@ test-icnf: diff regression/.`basename $$i`.out regression/.`basename $$i`.ref \ || ( echo "mismatch for $$i" ; exit 1) ; \ done + + +test-sudoku: + @for i in sudoku/sudoku.txt ; do \ + echo "test problem $$i"; \ + ./../src/sudoku/sudoku_solve.exe $$i ; \ + done diff --git a/tests/dune b/tests/dune index 7c8ca088..1c4c32dc 100644 --- a/tests/dune +++ b/tests/dune @@ -17,3 +17,7 @@ (deps ./icnf-solve/icnf_solve.exe Makefile (source_tree regression)) (action (run make test-icnf))) +(alias + (name runtest) + (deps ./../src/sudoku/sudoku_solve.exe Makefile (source_tree sudoku)) + (action (run make test-sudoku)))