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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri May 1 10:16:38 2009 +0100

Unwanted changes to test01() undone.

---

.../shrinkusingcongruences1.cc | 25 +++++++++++++++++++- 1 files changed, 24 insertions(+), 1 deletions(-)

diff --git a/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc b/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc index 40e6463..20bf97a 100644 --- a/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc +++ b/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc @@ -27,6 +27,7 @@ using namespace Parma_Polyhedra_Library::IO_Operators; typedef NNC_Polyhedron Poly;

typedef Domain_Product<Poly, Grid>::Shrink_Using_Congruences_Product SUCProduct; +// typedef Domain_Product<Poly, Grid>::Direct_Product SUCProduct; namespace {

// Shrink_Using_Congruences_Reduction with non-strict constraints and @@ -55,7 +56,6 @@ test01() {

if (ok) { ok = ok && sucp == known_sucp; - print_congruences(sucp, "*** after known_sucp check: sucp congruences ***"); print_constraints(sucp, "*** after known_sucp check: sucp constraints ***"); } @@ -227,13 +227,36 @@ test06() { return ok; }

+// Shows a problem with this reduction +bool +test07() { + Variable A(0); + + SUCProduct sucp(1); + Constraint_System cs; + cs.insert(A >= 1); + cs.insert(A <= 2); + sucp.refine_with_constraints(cs); + sucp.refine_with_congruence((A %= 0)/ 2); + + bool ok = sucp.OK(); + + sucp.ascii_dump(); + Constraint_System cs1 = sucp.constraints(); + + return ok; +} + } // namespace

BEGIN_MAIN +/* DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); DO_TEST(test05); DO_TEST(test06); +*/ + DO_TEST(test07); END_MAIN