[PPL-devel] [GIT] ppl/ppl(master): Test with all the examples.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: f85e96f4e8a3c4577453d9e181c86c81ba77cef6
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85e96f4e8a3c4577453d9e181c86c81ba77cef6

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Feb 17 22:14:57 2010 +0100

Test with all the examples.

---

 demos/ppl_pips/Makefile.am    |   13 +++++++++++--
 demos/ppl_pips/expected_mpz   |   19 +++++++++++++++++++
 demos/ppl_pips/expected_mpz_a |   19 +++++++++++++++++++
 3 files changed, 49 insertions(+), 2 deletions(-)

diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am
index b155965..6d7f5d8 100644
--- a/demos/ppl_pips/Makefile.am
+++ b/demos/ppl_pips/Makefile.am
@@ -84,8 +84,17 @@ check-local: ppl_pips$(EXEEXT)
 	  file=`basename $$path`; \
 	  $(FGREP) $$file tough_examples >/dev/null 2>&1 && continue; \
 	  echo $(ECHO_N) $$file " $(ECHO_C)" >>obtained; \
-	  echo ppl_pips$(EXEEXT) $$path; \
-	  ./ppl_pips$(EXEEXT) $$path | tr -d '\015' | $(TEXT_MD5SUM) \
+	  echo ppl_pips$(EXEEXT) -p $$path; \
+	  ./ppl_pips$(EXEEXT) -p $$path | tr -d '\015' | $(TEXT_MD5SUM) \
+            >>obtained; \
+	done
+	for path in $(srcdir)/examples/*.pip; \
+	do \
+	  file=`basename $$path`; \
+	  $(FGREP) $$file tough_examples >/dev/null 2>&1 && continue; \
+	  echo $(ECHO_N) $$file " $(ECHO_C)" >>obtained; \
+	  echo ppl_pips$(EXEEXT) -P $$path; \
+	  ./ppl_pips$(EXEEXT) -P $$path | tr -d '\015' | $(TEXT_MD5SUM) \
             >>obtained; \
 	done
 	diff obtained $(srcdir)/$(EXPECTED)
diff --git a/demos/ppl_pips/expected_mpz b/demos/ppl_pips/expected_mpz
index e30f88a..70658db 100644
--- a/demos/ppl_pips/expected_mpz
+++ b/demos/ppl_pips/expected_mpz
@@ -1 +1,20 @@
+invert.dat  89eb267478eb8675de9602be9bb92f9e  -
+linear.dat  1f73e09130d92979eb4388cbbab7f389  -
+lineri.dat  7b21035f6f07e68b8c0e2893a649f0ef  -
+loz.dat  558273607bb0eec59c713980a8722ac8  -
+max.dat  e29c651c587cc64ab6a7a8cecd488a0b  -
+maxb.dat  bc9d718f581cd7da4bbd7f0293749315  -
+pairi.dat  4aab776937a39aee6b95dc5d81722a20  -
+petit.dat  dd796c3d2afd2b7fb25a661c4137973f  -
+rairoi.dat  6aa01aa8b58429c4dfe33fad609306d5  -
 test02.dat  cd5fa1529845aacfac7b36ecad8d1c93  -
+test12i.dat  9c4f4bd2f5327b9ba442e4e294078282  -
+big.pip  bc9d718f581cd7da4bbd7f0293749315  -
+brisebarre.pip  3051dbe7ea7bf04e8890ddd41013a9dc  -
+cg1.pip  2571d40371dd1f1661348b08945e8a98  -
+esced.pip  7f4b69aed82cc0f498e7931ac1dbf92f  -
+ex2.pip  89eb267478eb8675de9602be9bb92f9e  -
+fimmel.pip  d41d8cd98f00b204e9800998ecf8427e  -
+max.pip  e29c651c587cc64ab6a7a8cecd488a0b  -
+sor1d.pip  8722a9d4eedd28b98c12987c9116564e  -
+square.pip  65a57d1e7ccb8196f81fa6e701164b69  -
diff --git a/demos/ppl_pips/expected_mpz_a b/demos/ppl_pips/expected_mpz_a
index e30f88a..70658db 100644
--- a/demos/ppl_pips/expected_mpz_a
+++ b/demos/ppl_pips/expected_mpz_a
@@ -1 +1,20 @@
+invert.dat  89eb267478eb8675de9602be9bb92f9e  -
+linear.dat  1f73e09130d92979eb4388cbbab7f389  -
+lineri.dat  7b21035f6f07e68b8c0e2893a649f0ef  -
+loz.dat  558273607bb0eec59c713980a8722ac8  -
+max.dat  e29c651c587cc64ab6a7a8cecd488a0b  -
+maxb.dat  bc9d718f581cd7da4bbd7f0293749315  -
+pairi.dat  4aab776937a39aee6b95dc5d81722a20  -
+petit.dat  dd796c3d2afd2b7fb25a661c4137973f  -
+rairoi.dat  6aa01aa8b58429c4dfe33fad609306d5  -
 test02.dat  cd5fa1529845aacfac7b36ecad8d1c93  -
+test12i.dat  9c4f4bd2f5327b9ba442e4e294078282  -
+big.pip  bc9d718f581cd7da4bbd7f0293749315  -
+brisebarre.pip  3051dbe7ea7bf04e8890ddd41013a9dc  -
+cg1.pip  2571d40371dd1f1661348b08945e8a98  -
+esced.pip  7f4b69aed82cc0f498e7931ac1dbf92f  -
+ex2.pip  89eb267478eb8675de9602be9bb92f9e  -
+fimmel.pip  d41d8cd98f00b204e9800998ecf8427e  -
+max.pip  e29c651c587cc64ab6a7a8cecd488a0b  -
+sor1d.pip  8722a9d4eedd28b98c12987c9116564e  -
+square.pip  65a57d1e7ccb8196f81fa6e701164b69  -