[PPL-devel] [GIT] ppl/ppl(master): Fixed and reactivated test05().

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 28 16:07:29 2009 +0100

Fixed and reactivated test05().

---

 tests/Box/frombox1.cc |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/Box/frombox1.cc b/tests/Box/frombox1.cc
index 2b90caa..217b86e 100644
--- a/tests/Box/frombox1.cc
+++ b/tests/Box/frombox1.cc
@@ -97,7 +97,7 @@ test05() {
   Q s;
   Q m;
   Q d;
-  for (int n = 1; n <= DIM; ++n) {
+  for (int n = 0; n < DIM; ++n) {
     s = y;
     s *= s;
     s *= s;
@@ -130,18 +130,18 @@ test05() {
     // Now s ~= y*(1 + y + y^2).
     k = 1ULL << (2*n+3);
     s *= k;
-    a *= s;
+    a -= s;
     m = 1;
     m /= a;
     Coefficient num;
     Coefficient den;
     numer_denom(m, num, den);
-    src.add_constraint(den*Variable(n-1) == num);
+    src.add_constraint(den*Variable(n) == num);
   }
 
   TBox dst(src);
 
-  bool ok = check_result(dst, src, "1.91e-6", "1.35e-6", "9.66e-7");
+  bool ok = check_result(dst, src, "2.39e-6", "5.51e-7", "1.51e-7");
 
   print_constraints(src, "*** src ***");
   print_constraints(dst, "*** dst ***");
@@ -156,5 +156,5 @@ BEGIN_MAIN
   DO_TEST(test02);
   DO_TEST(test03);
   DO_TEST(test04);
-//  DO_TEST_F64(test05);
+  DO_TEST_F64(test05);
 END_MAIN