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

Author: Patricia Hill p.m.hill@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=b981fa2a2...