[PPL-devel] [GIT] ppl/ppl(master): Fixed auxiliary function aux_test to perform proper comparisons.
Enea Zaffanella
zaffanella at cs.unipr.it
Fri Feb 11 15:03:42 CET 2011
Module: ppl/ppl
Branch: master
Commit: 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac
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);
More information about the PPL-devel
mailing list