[PPL-devel] [GIT] ppl/ppl(floating_point): Deleted a superfluous test.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Sep  3 18:26:57 2009 +0200

Deleted a superfluous test.

---

 .../floatingpointexpr1.cc                          |   27 +-------------------
 1 files changed, 1 insertions(+), 26 deletions(-)

diff --git a/tests/Floating_Point_Expression/floatingpointexpr1.cc b/tests/Floating_Point_Expression/floatingpointexpr1.cc
index 33395d1..5d38f26 100644
--- a/tests/Floating_Point_Expression/floatingpointexpr1.cc
+++ b/tests/Floating_Point_Expression/floatingpointexpr1.cc
@@ -141,35 +141,10 @@ test04() {
   return ok;
 }
 
-// Test operator+=(Linear_Form<db_r_oc>& f, Variable v):
-// in this case the dimension of v is strictly greater than
-// the dimension of f.
 bool
 test05() {
   Variable A(0);
   Variable B(1);
-
-  Linear_Form<db_r_oc> f = A;
-  db_r_oc x(2.0);
-  x /= 3.0;
-  f *= x;
-
-  Linear_Form<db_r_oc> known_result = f + B;
-
-  f += B;
-
-  bool ok = (f == known_result);
-
-  nout << "*** known_result ***" << endl
-       << known_result << endl;
-
-  return ok;
-}
-
-bool
-test06() {
-  Variable A(0);
-  Variable B(1);
   Variable C(16);
   Variable D(120);
 
@@ -195,5 +170,5 @@ BEGIN_MAIN
   DO_TEST(test02);
   DO_TEST(test03);
   DO_TEST(test04);
-  DO_TEST(test06);
+  DO_TEST(test05);
 END_MAIN