[PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Tests adapted to check the " non-and_minimize" versions.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Apr 17 19:13:53 CEST 2009
Module: ppl/ppl
Branch: deprecated_0_11_removal
Commit: 3a9b293e53d065d58c2f0d7e2fbb6469f93effca
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a9b293e53d065d58c2f0d7e2fbb6469f93effca
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 17 18:47:18 2009 +0200
Tests adapted to check the "non-and_minimize" versions.
Several comments and one bug fixed in the process.
---
tests/Polyhedron/addcongruence1.cc | 17 ++++++++------
tests/Polyhedron/addcongruences1.cc | 4 +-
tests/Polyhedron/addconstraint1.cc | 5 +--
tests/Polyhedron/addconstraints1.cc | 33 ++++++++++++---------------
tests/Polyhedron/addconstraints2.cc | 6 ++--
tests/Polyhedron/addgenerator1.cc | 5 +--
tests/Polyhedron/addgenerators1.cc | 28 +++++++++++------------
tests/Polyhedron/addgenerators2.cc | 6 ++--
tests/Polyhedron/boundedaffineimage1.cc | 8 +++---
tests/Polyhedron/constrains1.cc | 2 +-
tests/Polyhedron/constraints1.cc | 2 +-
tests/Polyhedron/exceptions1.cc | 18 +++++++-------
tests/Polyhedron/exceptions2.cc | 16 ++++++------
tests/Polyhedron/generators1.cc | 2 +-
tests/Polyhedron/h79widening2.cc | 2 +-
tests/Polyhedron/intersection1.cc | 37 +++++++++++++-----------------
tests/Polyhedron/nncminimize1.cc | 6 ++--
tests/Polyhedron/randphull1.cc | 3 +-
tests/Polyhedron/topclosed1.cc | 2 +-
tests/Powerset/addconstraints1.cc | 14 ++---------
20 files changed, 100 insertions(+), 116 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a9b293e53d065d58c2f0d7e2fbb6469f93effca
More information about the PPL-devel
mailing list