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

Author: Roberto Bagnara bagnara@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