[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed auxiliary function aux_test to perform proper comparisons.

[Enea Zaffanella]

Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: 5fb9bc0fb4e0c0c795e100001ebe86c7bc87d0e0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fb9bc0fb4e0c0c795e100001ebe86c7bc87d0e0

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Feb 11 15:01:08 2011 +0100

Fixed auxiliary function aux_test to perform proper comparisons.
In the meanwhile, fixed another typo.

---

 tests/Polyhedron/numberinput1.cc |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/tests/Polyhedron/numberinput1.cc b/tests/Polyhedron/numberinput1.cc
index 4e170aa..3ccbf5a 100644
--- a/tests/Polyhedron/numberinput1.cc
+++ b/tests/Polyhedron/numberinput1.cc
@@ -62,6 +62,9 @@ aux_test(std::string input_string,
   std::stringstream input_stream(input_string);
   Checked_Number<mpq_class, Test_Extended_Number_Policy> value;
   Result result = input(value, input_stream, ROUND_UP);
+  // NOTE: clear input_stream status bits, since otherwise the next call
+  // to getline will retrieve nothing at all.
+  input_stream.clear();
   std::string residual;
   getline(input_stream, residual, '\0');
   std::stringstream output_stream;
@@ -335,7 +338,7 @@ test14() {
 
 BEGIN_MAIN
   DO_TEST(test01);
-  DO_TEST(test03);
+  DO_TEST(test02);
   DO_TEST(test03);
   DO_TEST(test04);
   DO_TEST(test05);