[PPL-devel] [GIT] ppl/ppl(master): A couple of tests marked as known to fail.
Enea Zaffanella
zaffanella at cs.unipr.it
Sat Feb 20 09:41:30 CET 2010
Module: ppl/ppl
Branch: master
Commit: 8fc67ca6012164360c1c0301f29f46d979157cbe
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fc67ca6012164360c1c0301f29f46d979157cbe
Author: Enea Zaffanella <zaffanella at 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
More information about the PPL-devel
mailing list