[PPL-devel] [GIT] ppl/ppl(devel): Removed tests 05, 07, 08 and 13.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Nov  6 16:13:20 2016 +0100

Removed tests 05, 07, 08 and 13.

These tests were checking the behavior of map_space_dimension() beyond
its own specification (the partial function given as input was *adding*
space dimensions).

---

 tests/Polyhedron/mapspacedims1.cc |  144 -------------------------------------
 1 files changed, 0 insertions(+), 144 deletions(-)

diff --git a/tests/Polyhedron/mapspacedims1.cc b/tests/Polyhedron/mapspacedims1.cc
index 2ebfd8d..129b4ad 100644
--- a/tests/Polyhedron/mapspacedims1.cc
+++ b/tests/Polyhedron/mapspacedims1.cc
@@ -137,38 +137,6 @@ test04() {
 }
 
 bool
-test05() {
-  Variable A(0);
-  Variable B(1);
-
-  Partial_Function function;
-  function.insert(2, 0);
-  function.insert(3, 2);
-  function.insert(4, 1);
-
-  Generator_System gs;
-  gs.insert(point());
-  gs.insert(ray(A));
-  gs.insert(ray(B));
-
-  C_Polyhedron ph1(gs);
-
-  print_function(function, "*** function ***");
-  print_generators(ph1, "*** ph1 ***");
-
-  ph1.map_space_dimensions(function);
-
-  C_Polyhedron known_result(3, EMPTY);
-  known_result.add_generator(point());
-
-  bool ok = (ph1 == known_result);
-
-  print_generators(ph1, "*** after ph1.map_space_dimensions(function) ***");
-
-  return ok;
-}
-
-bool
 test06() {
   Variable A(0);
   Variable B(1);
@@ -199,77 +167,6 @@ test06() {
 }
 
 bool
-test07() {
-  Variable A(0);
-  Variable B(1);
-
-  Partial_Function function;
-  function.insert(0, 1);
-  function.insert(1, 0);
-  function.insert(2, 2);
-  function.insert(3, 3);
-
-  Generator_System gs;
-  gs.insert(point());
-  gs.insert(point(A));
-  gs.insert(point(2*B));
-  gs.insert(point(A + 2*B));
-
-  C_Polyhedron ph1(gs);
-
-  print_function(function, "*** function ***");
-  print_generators(ph1, "*** ph1 ***");
-
-  ph1.map_space_dimensions(function);
-
-  C_Polyhedron known_result(4, EMPTY);
-  known_result.add_generator(point());
-  known_result.add_generator(point(B));
-  known_result.add_generator(point(2*A));
-  known_result.add_generator(point(2*A + B));
-
-  bool ok = (ph1 == known_result);
-
-  print_generators(ph1, "*** after ph1.map_space_dimensions(function) ***");
-
-  return ok;
-}
-
-bool
-test08() {
-  Variable A(0);
-  Variable B(1);
-
-  Partial_Function function;
-  function.insert(0, 0);
-  function.insert(2, 1);
-  function.insert(3, 2);
-
-  Generator_System gs;
-  gs.insert(point());
-  gs.insert(point(A));
-  gs.insert(ray(B));
-  gs.insert(ray(A + B));
-
-  C_Polyhedron ph1(gs);
-
-  print_function(function, "*** function ***");
-  print_generators(ph1, "*** ph1 ***");
-
-  ph1.map_space_dimensions(function);
-
-  C_Polyhedron known_result(3, EMPTY);
-  known_result.add_generator(point());
-  known_result.add_generator(ray(A));
-
-  bool ok = (ph1 == known_result);
-
-  print_generators(ph1, "*** after ph1.map_space_dimensions(function) ***");
-
-  return ok;
-}
-
-bool
 test09() {
   Partial_Function function;
   function.insert(0, 1);
@@ -421,43 +318,6 @@ test12() {
   return ok;
 }
 
-bool
-test13() {
-  Variable A(0);
-  Variable B(1);
-  Variable C(2);
-  Variable D(3);
-
-  Partial_Function function;
-  function.insert(0, 2);
-  function.insert(1, 3);
-
-  Generator_System gs;
-  gs.insert(point());
-  gs.insert(point(A));
-  gs.insert(point(2*B));
-  gs.insert(point(A + 2*B));
-
-  C_Polyhedron ph1(gs);
-
-  print_function(function, "*** function ***");
-  print_generators(ph1, "*** ph1 ***");
-
-  ph1.map_space_dimensions(function);
-
-  C_Polyhedron known_result(4, EMPTY);
-  known_result.add_generator(point());
-  known_result.add_generator(point(C));
-  known_result.add_generator(point(2*D));
-  known_result.add_generator(point(C + 2*D));
-
-  bool ok = (ph1 == known_result);
-
-  print_generators(ph1, "*** after ph1.map_space_dimensions(function) ***");
-
-  return ok;
-}
-
 } // namespace
 
 BEGIN_MAIN
@@ -465,10 +325,7 @@ BEGIN_MAIN
   DO_TEST(test02);
   DO_TEST(test03);
   DO_TEST(test04);
-  DO_TEST(test05);
   DO_TEST(test06);
-  DO_TEST(test07);
-  DO_TEST(test08);
   DO_TEST(test09);
   // test10() only fails when using C_Polyhedron and 8 bit coefficients.
 #ifdef DERIVED_TEST
@@ -478,5 +335,4 @@ BEGIN_MAIN
 #endif // !defined(DERIVED_TEST)
   DO_TEST(test11);
   DO_TEST(test12);
-  DO_TEST(test13);
 END_MAIN