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

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 62166e5b03fd6c3f33168ff6b52e72d732c7a0c9
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62166e5b03fd6c3f33168ff6b52e72d732c7a0c9

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