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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 18 14:21:42 2009 +0100

The refine_with_congrueces() detects inconsistent equalities.

---

tests/Box/congruences1.cc | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/tests/Box/congruences1.cc b/tests/Box/congruences1.cc index 39158d0..ed1be18 100644 --- a/tests/Box/congruences1.cc +++ b/tests/Box/congruences1.cc @@ -142,16 +142,14 @@ test06() { Congruence_System cgs; cgs.insert((A %= 7) / 0); cgs.insert((B %= 3) / 0); - // This inconsistent equality is ignored when refining. + // This inconsistent equality is not ignored when refining. cgs.insert((A + B %= 0) / 0); cgs.insert(C %= 7);

TBox box(cgs.space_dimension(), UNIVERSE); box.refine_with_congruences(cgs);

- Rational_Box known_result(3); - known_result.add_constraint(A == 7); - known_result.add_constraint(B == 3); + Rational_Box known_result(3, EMPTY);

bool ok = check_result(box, known_result);