[PPL-devel] [GIT] ppl/ppl(master): Commented out code concerning affine spaces.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug  1 23:13:47 2010 +0200

Commented out code concerning affine spaces.

---

 .../constraintsproduct1.cc                         |   12 +++++++++---
 1 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/tests/Partially_Reduced_Product/constraintsproduct1.cc b/tests/Partially_Reduced_Product/constraintsproduct1.cc
index 6d592a3..91c9025 100644
--- a/tests/Partially_Reduced_Product/constraintsproduct1.cc
+++ b/tests/Partially_Reduced_Product/constraintsproduct1.cc
@@ -28,7 +28,9 @@ typedef NNC_Polyhedron Poly;
 
 typedef Domain_Product<Poly, Grid>::Constraints_Product PolyGrid;
 typedef Domain_Product<Poly, TBox>::Constraints_Product PolyBox;
+#if 0
 typedef Domain_Product<Affine_Space, TBox>::Constraints_Product AffBox;
+#endif
 typedef Domain_Product<Grid, TBox>::Constraints_Product GridBox;
 
 namespace {
@@ -294,6 +296,7 @@ test08() {
   return ok;
 }
 
+#if 0
 bool
 test09() {
   Variable A(0);
@@ -326,6 +329,7 @@ test09() {
 
   return ok;
 }
+#endif
 
 // space_dimension()
 bool
@@ -348,6 +352,7 @@ test10() {
   return cons_ok;
 }
 
+#if 0
 // Example taken from SenS07 (figure 5(a)
 bool
 test11() {
@@ -527,6 +532,7 @@ test12() {
 
   return ok;
 }
+#endif
 
 } // namespace
 
@@ -539,8 +545,8 @@ BEGIN_MAIN
   DO_TEST(test06);
   DO_TEST(test07);
   DO_TEST(test08);
-  DO_TEST(test09);
+//DO_TEST(test09);
   DO_TEST(test10);
-  DO_TEST_F8(test11);
-  DO_TEST(test12);
+//DO_TEST_F8(test11);
+//DO_TEST(test12);
 END_MAIN