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

Author: Roberto Bagnara bagnara@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 -