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

Author: Enea Zaffanella enea.zaffanella@unipr.it Date: Tue Jun 19 09:53:15 2018 +0200

Fixed the expected result for test12: a generator can not be subsumed by an empty polyhedron.

This fix uncovers a bug in the current implementation of method Polyhedron::relation_with(const Generator&) const;

The bug was noted while developing the PPLite library.

---

tests/Polyhedron/relations3.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/Polyhedron/relations3.cc b/tests/Polyhedron/relations3.cc index ef63dbc..f799afb 100644 --- a/tests/Polyhedron/relations3.cc +++ b/tests/Polyhedron/relations3.cc @@ -295,7 +295,7 @@ test12() { print_constraints(ph, "*** ph ***"); nout << "ph.relation_with(line(C)) == " << rel << endl;

- Poly_Gen_Relation known_result = Poly_Gen_Relation::subsumes(); + Poly_Gen_Relation known_result = Poly_Gen_Relation::nothing(); return rel == known_result; }