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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 09:03:08 2012 +0200

The given problem is not satisfiable (independently verified with other solvers).

---

tests/PIP_Problem/bug1.cc | 14 +++----------- 1 files changed, 3 insertions(+), 11 deletions(-)

diff --git a/tests/PIP_Problem/bug1.cc b/tests/PIP_Problem/bug1.cc index cc79299..76c7f68 100644 --- a/tests/PIP_Problem/bug1.cc +++ b/tests/PIP_Problem/bug1.cc @@ -25,7 +25,6 @@ site: http://bugseng.com/products/ppl/ . */

#include "files.hh" #include <fstream> -#include <iostream>

using namespace IO_Operators;

@@ -110,19 +109,12 @@ test01() { cs.insert(O >= 0); cs.insert(H >= 0);

-#if 0 - MIP_Problem mip(cs.space_dimension(), cs.begin(), cs.end()); - std::cout << mip.is_satisfiable() << endl; - Variables_Set integer_space_dimensions(A, F1); - mip.add_to_integer_space_dimensions(integer_space_dimensions); - std::cout << mip.is_satisfiable() << endl; -#endif - PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params);

- bool ok = pip.is_satisfiable(); + if (pip.is_satisfiable()) + return false;

- return ok; + return true; }

} // namespace