From 9a8f0e9d82c201a56a3b5ad12b878a7f19cf4c4b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 25 Jan 2019 22:02:06 -0600
Subject: [PATCH] test: add small sudoku solver to test the CDCL(T) interface

---
 tests/Makefile | 7 +++++++
 tests/dune     | 4 ++++
 2 files changed, 11 insertions(+)

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)))