[PPL-devel] [GIT] ppl/ppl(pip): Corrected the expected result for test02 to match integral simplifications .

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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;