Module: ppl/ppl Branch: pip Commit: 3c8f16e240439811d501629660cedb8f99f0009a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c8f16e240439...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 10 10:47:59 2011 +0100

Corrected the expected result for test02 to match integral simplifications.

---

tests/PIP_Problem/pipproblem1.cc | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index b69a5d3..98ea9b0 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -90,9 +90,9 @@ test02() { return false; const Constraint& c = *cs.begin(); if (!(c.is_inequality() - && c.coefficient(n) == 7 + && c.coefficient(n) == 1 && c.coefficient(m) == 0 - && c.inhomogeneous_term() == -10)) + && c.inhomogeneous_term() == -2)) return false; } if (root->child_node(true) == 0 || root->child_node(false) != 0) @@ -110,8 +110,8 @@ test02() { const Constraint& c = *cs.begin(); if (!(c.is_inequality() && c.coefficient(n) == 0 - && c.coefficient(m) == 7 - && c.inhomogeneous_term() == -12)) + && c.coefficient(m) == 1 + && c.inhomogeneous_term() == -2)) return false; // Dummy print of (non-root) tree node to increase code coverage. using namespace IO_Operators;