[PPL-devel] [GIT] ppl/ppl(master): To reproduce Mantis issue [PPL 0000353].
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 5 20:00:53 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 236fc0ca4dcc94bacb3d045e3b113a6074273395
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236fc0ca4dcc94bacb3d045e3b113a6074273395
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 19:59:53 2012 +0200
To reproduce Mantis issue [PPL 0000353].
---
tests/PIP_Problem/bug1.cc | 55 ++++++++++++++++++++++++
tests/PIP_Problem/bug1.dat | 99 ++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 154 insertions(+), 0 deletions(-)
diff --git a/tests/PIP_Problem/bug1.cc b/tests/PIP_Problem/bug1.cc
new file mode 100644
index 0000000..fa99cb2
--- /dev/null
+++ b/tests/PIP_Problem/bug1.cc
@@ -0,0 +1,55 @@
+/* Reproduce Mantis issue [PPL 0000353].
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
+
+This file is part of the Parma Polyhedra Library (PPL).
+
+The PPL is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 3 of the License, or (at your
+option) any later version.
+
+The PPL is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program; if not, write to the Free Software Foundation,
+Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://bugseng.com/products/ppl/ . */
+
+#include "ppl_test.hh"
+
+#include "files.hh"
+#include <string>
+#include <fstream>
+
+using std::string;
+using std::fstream;
+using std::ios_base;
+
+namespace {
+
+bool
+test01() {
+ const char* my_file = "bug1.dat";
+
+ fstream f;
+ open(f, my_file, ios_base::in);
+ PIP_Problem pip;
+ pip.ascii_load(f);
+ close(f);
+
+ bool ok = pip.is_satisfiable();
+
+ return ok;
+}
+
+} // namespace
+
+BEGIN_MAIN
+ DO_TEST(test01);
+END_MAIN
diff --git a/tests/PIP_Problem/bug1.dat b/tests/PIP_Problem/bug1.dat
new file mode 100644
index 0000000..d082a99
--- /dev/null
+++ b/tests/PIP_Problem/bug1.dat
@@ -0,0 +1,99 @@
+external_space_dim: 32
+
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+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
+
+first_pending_constraint: 0
+
+status: PARTIALLY_SATISFIABLE
+
+parameters
+variables( 0 )
+
+initial_context
+0 x 0
+
+control_parameters
+CUTTING_STRATEGY_FIRST
+PIVOT_ROW_STRATEGY_FIRST
+
+big_parameter_dimension: 18446744073709551615
+
+current_solution: BOTTOM
More information about the PPL-devel
mailing list