[PPL-devel] [GIT] ppl/ppl(floating_point): Removed commented code in floatingpointexpr1 .cc

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Wed Sep 23 21:30:33 2009 +0200

Removed commented code in floatingpointexpr1.cc

---

 .../floatingpointexpr1.cc                          |   43 +------------------
 1 files changed, 3 insertions(+), 40 deletions(-)

diff --git a/tests/Floating_Point_Expression/floatingpointexpr1.cc b/tests/Floating_Point_Expression/floatingpointexpr1.cc
index 25b7b14..c4322eb 100644
--- a/tests/Floating_Point_Expression/floatingpointexpr1.cc
+++ b/tests/Floating_Point_Expression/floatingpointexpr1.cc
@@ -65,27 +65,7 @@ test02() {
        << known_result << endl;
   bool ok = (result == known_result);
 
-  return ok; /*
-  FP_Interval_Abstract_Store store_db(2);
-  store_db.set_interval(Variable(0), FP_Interval(0));
-  store_db.set_interval(Variable(1), FP_Interval(4));
-  Con_FP_Expression* con_db  = new Con_FP_Expression(5, 6);
-  Var_FP_Expression* var0_db = new Var_FP_Expression(0);
-  Var_FP_Expression* var1_db = new Var_FP_Expression(1);
-  Sum_FP_Expression* sum_db  = new Sum_FP_Expression(con_db, var1_db);
-  Mul_FP_Expression mul_db(var0_db, sum_db);
-  FP_Linear_Form result_db;
-  mul_db.linearize(store_db, FP_Linear_Form_Abstract_Store(), result_db);
-
-  FP_Interval kr_db(-FP_Expression::absolute_error);
-  kr_db.join_assign(FP_Expression::absolute_error);
-  FP_Linear_Form known_result_db(kr_db);
-
-  nout << "*** known_result_db ***" << endl
-       << known_result_db << endl;
-  bool ok_db = (result_db == known_result_db);
-
-  return ok_fl && ok_db; */
+  return ok;
 }
 
 // Tests linearization of variables in a given linear form abstract store.
@@ -103,20 +83,7 @@ test03() {
        << known_result << endl;
   bool ok = (result == known_result);
 
-  return ok; /*
-  FP_Linear_Form_Abstract_Store store_db;
-  FP_Linear_Form known_result_db =
-  FP_Linear_Form(A);
-  store_db[0] = known_result_db;
-  Var_FP_Expression var_db(0);
-  FP_Linear_Form result_db;
-  var_db.linearize(FP_Interval_Abstract_Store(0), store_db, result_db);
-
-  nout << "*** known_result_db ***" << endl
-       << known_result_db << endl;
-  bool ok_db = (result_db == known_result_db);
-
-  return ok_fl && ok_db; */
+  return ok;
 }
 
 // Tests the linearization of A + B.
@@ -303,11 +270,7 @@ test09() {
   nout << "*** known_result1 ***" << endl
        << known_result1 << endl;
   bool ok1 = (known_result1 == result);
-/*
-  ANALYZER_FP_FORMAT max_db = std::numeric_limits<ANALYZER_FP_FORMAT>::max();
-  FP_Interval min_db = FP_Interval(
-                     -FP_Expression::absolute_error);
-  min_db.join_assign(FP_Expression::absolute_error); */
+
   FP_Linear_Form known_result2 = FP_Linear_Form(min);
   Con_FP_Expression* con4 = new Con_FP_Expression(0, 0);
   Con_FP_Expression* con5 = new Con_FP_Expression(0, max);