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=b72921359d6cf...

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