From 48e6e77dbcd1f7fd5091e0c099e9988b2df301ae Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 17 Oct 2016 14:08:42 +0200 Subject: [PATCH] test box and bernoulli summation algorithms These methods are too slow on some of the test inputs, so use an explicit list of inputs that should be tested for each method. Signed-off-by: Sven Verdoolaege --- Makefile.am | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/Makefile.am b/Makefile.am index c17c0d0..01fb430 100644 --- a/Makefile.am +++ b/Makefile.am @@ -427,6 +427,24 @@ check-euler: barvinok_summate$(EXEEXT) done \ fi \ done + @for t in dull EML_p EML-product EML line square square_p square \ + square_p3 triangle triangle2 triangle_p; do \ + i=$(top_srcdir)/tests/euler/$$t.pwqp; \ + if test -f $$i; then \ + opt="--summation=box"; \ + echo $$i $$opt; \ + ./barvinok_summate$(EXEEXT) -T $$opt < $$i || exit; \ + fi \ + done + @for t in dull dull_p EML line square square_p square \ + square_p3 triangle triangle2 triangle_p; do \ + i=$(top_srcdir)/tests/euler/$$t.pwqp; \ + if test -f $$i; then \ + opt="--summation=bernoulli"; \ + echo $$i $$opt; \ + ./barvinok_summate$(EXEEXT) -T $$opt < $$i || exit; \ + fi \ + done if HAVE_TOPCOM TOPCOM_CD = '--chamber-decomposition=topcom' endif -- 2.11.4.GIT