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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 5 21:24:47 2012 +0200

Set the validity bits.

---

tests/PIP_Problem/bug1.dat | 76 ++++++++++++++++++++++---------------------- 1 files changed, 38 insertions(+), 38 deletions(-)

diff --git a/tests/PIP_Problem/bug1.dat b/tests/PIP_Problem/bug1.dat index d082a99..4bcd823 100644 --- a/tests/PIP_Problem/bug1.dat +++ b/tests/PIP_Problem/bug1.dat @@ -4,81 +4,81 @@ internal_space_dim: 0

input_cs( 38 ) size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -f -RPI_V -RPI -NNC_V -NNC +f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 -f -RPI_V -RPI -NNC_V -NNC +f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 0 0 0 0 0 -1620 0 0 -0 0 0 0 f -RPI_V -RPI -NNC_V -NNC +0 0 0 0 f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 0 -0 0 0 0 f -RPI_V -RPI -NNC_V -NNC +0 0 0 0 f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 6480 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 162 0 1 0 9 0 0 0 0 0 0 0 0 0 -0 0 0 0 f -RPI_V +RPI -NNC_V -NNC +0 0 0 0 f +RPI_V +RPI +NNC_V -NNC size 33 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 8 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 17 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC

first_pending_constraint: 0