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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 12:34:48 2015 +0100

Corrected expected result for test02().

The test shows a bug in current implementation of method Pointset_Powerset<PSET>::relation_with(const Congruence& c) const

---

tests/Powerset/relationwith1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Powerset/relationwith1.cc b/tests/Powerset/relationwith1.cc index a76856c..0a730be 100644 --- a/tests/Powerset/relationwith1.cc +++ b/tests/Powerset/relationwith1.cc @@ -54,15 +54,15 @@ test02() {

C_Polyhedron ph2(1); ph2.add_constraint(x == 2); - Pointset_Powerset<C_Polyhedron> ps(1, EMPTY);

+ Pointset_Powerset<C_Polyhedron> ps(1, EMPTY); ps.add_disjunct(ph1); ps.add_disjunct(ph2);

Congruence cg((x %= 1) / 0); Poly_Con_Relation rel = ps.relation_with(cg);

- Poly_Con_Relation known_rel = Poly_Con_Relation::saturates(); + Poly_Con_Relation known_rel = Poly_Con_Relation::strictly_intersects();

bool ok = (rel == known_rel);