[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Added a new test showing a bug in PIP_Problem.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May  4 09:35:26 2012 +0200

Added a new test showing a bug in PIP_Problem.
The test was reduced from a slightly bigger one provided by Fred Mesnard.

---

 tests/PIP_Problem/pipproblem3.cc |   20 ++++++++++++++++++++
 1 files changed, 20 insertions(+), 0 deletions(-)

diff --git a/tests/PIP_Problem/pipproblem3.cc b/tests/PIP_Problem/pipproblem3.cc
index c8f3af8..fd75b32 100644
--- a/tests/PIP_Problem/pipproblem3.cc
+++ b/tests/PIP_Problem/pipproblem3.cc
@@ -150,10 +150,30 @@ test03() {
   return ok;
 }
 
+bool
+test04() {
+  Variable A(0);
+  Variable B(1);
+  Variable C(2);
+
+  Constraint_System cs;
+  cs.insert(A >= 0);
+  cs.insert(A == B);
+  cs.insert(A == -1);
+
+  PIP_Problem pip(2);
+  pip.add_constraints(cs);
+
+  bool ok = !pip.is_satisfiable();
+
+  return ok;
+}
+
 } // namespace
 
 BEGIN_MAIN
   DO_TEST_F8(test01);
   DO_TEST_F8(test02);
   DO_TEST_F8(test03);
+  DO_TEST(test04);
 END_MAIN