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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 28 15:50:52 2009 +0100

Parameterized test05().

---

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

diff --git a/tests/Box/frombox1.cc b/tests/Box/frombox1.cc index 4936ed0..2b90caa 100644 --- a/tests/Box/frombox1.cc +++ b/tests/Box/frombox1.cc @@ -78,8 +78,9 @@ test04() {

bool test05() { + const int DIM = 10; typedef Checked_Number<mpq_class> Q; - Rational_Box src(10, UNIVERSE); + Rational_Box src(DIM, UNIVERSE); Q k; Q a; k = 2; @@ -96,7 +97,7 @@ test05() { Q s; Q m; Q d; - for (int n = 1; n <= 10; ++n) { + for (int n = 1; n <= DIM; ++n) { s = y; s *= s; s *= s;