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