[PPL-devel] [GIT] ppl/ppl(master): Parameterized test05().

[Roberto Bagnara]

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

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