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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 20 09:40:15 2010 +0100

A couple of tests marked as known to fail. These shows a bug in the solver, which fails to detect an unfeasible initial context.

---

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

diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index 29b9d93..ac9fa11 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -501,6 +501,20 @@ test16() { return ok; }

+bool +test17() { + PIP_Problem pip; + pip.add_space_dimensions_and_embed(0, 1); + // Adding unsatisfiable context constraints. + Variable n(0); + pip.add_constraint(n <= 5); + pip.add_constraint(n >= 10); + bool ok = (pip.solve() == UNFEASIBLE_PIP_PROBLEM); + if (pip.solution() != 0) + pip.print_solution(nout); + return ok; +} + } // namespace

BEGIN_MAIN @@ -519,5 +533,7 @@ BEGIN_MAIN DO_TEST(test13); DO_TEST(test14); DO_TEST(test15); - // DO_TEST(test16); + // The following two tests show a bug in the PIP solver. + DO_TEST_F(test16); + DO_TEST_F(test17); END_MAIN