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

Author: Roberto Bagnara bagnara@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=3a9b293e5...