[PPL-devel] [GIT] ppl/ppl(devel): Corrected expected result for test02().
Enea Zaffanella
zaffanella at cs.unipr.it
Thu Nov 19 12:39:16 CET 2015
Module: ppl/ppl
Branch: devel
Commit: bbf24268be1c2af275ee76f9eb790feb2a63cbc2
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbf24268be1c2af275ee76f9eb790feb2a63cbc2
Author: Enea Zaffanella <zaffanella at 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);
More information about the PPL-devel
mailing list