[PPL-devel] [GIT] ppl/ppl(master): Tests adapted to check the "non-and_minimize" versions.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
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