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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 27 08:21:22 2012 +0200

Added test invocations that were left out by mistake.

---

tests/Box/refinewithcongruence1.cc | 2 ++ .../boundedaffineimage1.cc | 5 +++-- tests/Powerset/fromconstraints1.cc | 2 ++ 3 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/tests/Box/refinewithcongruence1.cc b/tests/Box/refinewithcongruence1.cc index 6b61c50..fb4e98c 100644 --- a/tests/Box/refinewithcongruence1.cc +++ b/tests/Box/refinewithcongruence1.cc @@ -191,5 +191,7 @@ BEGIN_MAIN DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); + DO_TEST(test05); + DO_TEST(test06); DO_TEST(test07); END_MAIN diff --git a/tests/Partially_Reduced_Product/boundedaffineimage1.cc b/tests/Partially_Reduced_Product/boundedaffineimage1.cc index 7140d17..0b6c1ee 100644 --- a/tests/Partially_Reduced_Product/boundedaffineimage1.cc +++ b/tests/Partially_Reduced_Product/boundedaffineimage1.cc @@ -196,7 +196,7 @@ test08() {

// Non-empty product. bounded_affine_preimage/3 bool -test16() { +test09() { Variable A(0); Variable B(1); Variable C(2); @@ -229,7 +229,7 @@ test16() {

// Empty product. bounded_affine_preimage/3 bool -test09() { +test10() { Variable A(0); Variable B(1); Variable C(2); @@ -266,4 +266,5 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); + DO_TEST(test10); END_MAIN diff --git a/tests/Powerset/fromconstraints1.cc b/tests/Powerset/fromconstraints1.cc index 5518696..fd5a335 100644 --- a/tests/Powerset/fromconstraints1.cc +++ b/tests/Powerset/fromconstraints1.cc @@ -177,4 +177,6 @@ BEGIN_MAIN DO_TEST(test08); DO_TEST(test09); DO_TEST(test10); + DO_TEST(test11); + DO_TEST(test12); END_MAIN