[PPL-devel] [GIT] ppl/ppl(products): Revised the tests so as to follow the organization for other domains.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue May 19 17:07:14 2009 +0100

Revised the tests so as to follow the organization for other domains.

Apart from the operation tests, there are specific tests for
each reduction operator.

Selected tests (in the Makefile) can be checked with the given component order
and with the component domains reversed.

---

 tests/Partially_Reduced_Product/Makefile.am        |  128 ++++-
 tests/Partially_Reduced_Product/addcongruences1.cc |  100 +++
 tests/Partially_Reduced_Product/addconstraints1.cc |  285 ++++++++
 tests/Partially_Reduced_Product/affineimage1.cc    |   88 +++
 tests/Partially_Reduced_Product/bounded1.cc        |   57 ++
 .../boundedaffineimage1.cc                         |  268 ++++++++
 tests/Partially_Reduced_Product/bounds1.cc         |  687 ++++++++++++++++++++
 tests/Partially_Reduced_Product/concatenate1.cc    |   70 ++
 tests/Partially_Reduced_Product/congruences1.cc    |   95 +++
 tests/Partially_Reduced_Product/constraints1.cc    |   98 +++
 .../constraintsproduct1.cc                         |   27 +-
 tests/Partially_Reduced_Product/contains1.cc       |  102 +++
 tests/Partially_Reduced_Product/difference1.cc     |  140 ++++
 tests/Partially_Reduced_Product/dimension1.cc      |   83 +++
 tests/Partially_Reduced_Product/directproduct1.cc  |  485 +-------------
 tests/Partially_Reduced_Product/discrete1.cc       |  100 +++
 tests/Partially_Reduced_Product/disjoint1.cc       |  162 +++++
 tests/Partially_Reduced_Product/equals1.cc         |   82 +++
 tests/Partially_Reduced_Product/frombdshape1.cc    |   64 ++
 tests/Partially_Reduced_Product/frombox1.cc        |   86 +++
 tests/Partially_Reduced_Product/fromgrid1.cc       |   61 ++
 .../fromoctagonalshape1.cc                         |   64 ++
 tests/Partially_Reduced_Product/frompolyhedron1.cc |  119 ++++
 tests/Partially_Reduced_Product/fromproduct1.cc    |  178 +++++
 .../generalizedaffineimage1.cc                     |  261 ++++++++
 tests/Partially_Reduced_Product/intersection1.cc   |  124 ++++
 tests/Partially_Reduced_Product/isempty1.cc        |   94 +++
 tests/Partially_Reduced_Product/isuniverse1.cc     |   83 +++
 tests/Partially_Reduced_Product/maxmin1.cc         |  248 +++++++
 .../partially_reduced_product_test.hh              |   29 +
 .../refinewithcongruences1.cc                      |  264 ++++++++
 .../refinewithconstraints1.cc                      |  341 ++++++++++
 tests/Partially_Reduced_Product/relations1.cc      |  315 +++++++++
 tests/Partially_Reduced_Product/smashproduct1.cc   |  659 +++++++++++++++++++
 tests/Partially_Reduced_Product/spacedims1.cc      |  286 ++++++++
 tests/Partially_Reduced_Product/timeelapse1.cc     |  115 ++++
 tests/Partially_Reduced_Product/topclosed1.cc      |   94 +++
 tests/Partially_Reduced_Product/topclosure1.cc     |   67 ++
 tests/Partially_Reduced_Product/upperbound1.cc     |  190 ++++++
 tests/Partially_Reduced_Product/widening1.cc       |  108 +++
 40 files changed, 6426 insertions(+), 481 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b981fa2a283c3113769955bbfd85d4af5e1485d7