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=5fb9bc0fb4e0c... Author: Enea Zaffanella <zaffanella@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);