[PPL-devel] [GIT] ppl/ppl(master): Added test invocations that were left out by mistake .

[Roberto Bagnara]

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

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