[PPL-devel] [GIT] ppl/ppl(master): The refine_with_congrueces() detects inconsistent equalities.
Patricia Hill
p.m.hill at leeds.ac.uk
Tue May 19 08:46:28 CEST 2009
Module: ppl/ppl
Branch: master
Commit: a7fe4a03836b380714189d0006eeb9448a0e43a3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fe4a03836b380714189d0006eeb9448a0e43a3
Author: Patricia Hill <p.m.hill at 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);
More information about the PPL-devel
mailing list