From ccbd7b179770a6098084f2fd7c1ee78fff5d5d53 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 16 Jan 2008 19:14:48 +0100
Subject: [PATCH] add some tests for implementation of projection theorem

---
 Makefile.am                       | 4 +++-
 tests/ehrhart_e/scarf/woods_2.1.7 | 8 ++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100644 tests/ehrhart_e/scarf/woods_2.1.7

diff --git a/Makefile.am b/Makefile.am
index fc483e9..a10f4e7 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -393,7 +393,9 @@ check-enumerate_e: barvinok_enumerate_e$(EXEEXT)
 		    opt="--specialization=$$spec --scarf"; \
 		    echo $$i $$opt; \
 		    ./barvinok_enumerate_e$(EXEEXT) --verify $$opt < $$i || exit; \
-		done \
+		done; \
+		echo $$i --series; \
+		./barvinok_enumerate_e$(EXEEXT) --verify --series < $$i || exit; \
 	    fi \
 	done
 check-test: test$(EXEEXT)
diff --git a/tests/ehrhart_e/scarf/woods_2.1.7 b/tests/ehrhart_e/scarf/woods_2.1.7
new file mode 100644
index 0000000..e400db5
--- /dev/null
+++ b/tests/ehrhart_e/scarf/woods_2.1.7
@@ -0,0 +1,8 @@
+4 5
+1  -2    0    1    5  ]
+1   2    0    1    5  ]
+1   0   -2   -1    5  ]
+1   0    2   -1    5  ]
+
+E 2
+P 1
-- 
2.11.4.GIT