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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 27 07:27:54 2009 +0100

Fixed the formatting of do-while loops.

---

tests/Polyhedron/memory1.cc | 6 ++---- tests/Polyhedron/watchdog1.cc | 6 ++---- 2 files changed, 4 insertions(+), 8 deletions(-)

diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index ad21bdb..f1544d0 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -181,16 +181,14 @@ main() TRY { do { ++dimension; nout << "Trying dimension " << dimension << endl; - } - while (guarded_compute_open_hypercube_generators(dimension, INIT_MEMORY)); + } while (guarded_compute_open_hypercube_generators(dimension, INIT_MEMORY));

// Now find an upper bound to the memory necessary to compute it. unsigned long upper_bound = INIT_MEMORY; do { upper_bound *= 2; nout << "Trying upper bound " << upper_bound << endl; - } - while (!guarded_compute_open_hypercube_generators(dimension, upper_bound)); + } while (!guarded_compute_open_hypercube_generators(dimension, upper_bound));

// Search the "exact" amount of memory. int lower_bound = upper_bound/2; diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc index f4c049a..270bc52 100644 --- a/tests/Polyhedron/watchdog1.cc +++ b/tests/Polyhedron/watchdog1.cc @@ -101,16 +101,14 @@ main() TRY { do { ++dimension; nout << "Trying dimension " << dimension << endl; - } - while (timed_compute_open_hypercube_generators(dimension, INIT_TIME)); + } while (timed_compute_open_hypercube_generators(dimension, INIT_TIME));

// Now find an upper bound to the time necessary to compute it. int upper_bound = INIT_TIME; do { upper_bound *= 2; nout << "Trying upper bound " << upper_bound << endl; - } - while (!timed_compute_open_hypercube_generators(dimension, upper_bound)); + } while (!timed_compute_open_hypercube_generators(dimension, upper_bound));

// Search the "exact" time. int lower_bound = upper_bound/2;