[PPL-devel] [GIT] ppl/ppl(master): Fixed the expected result for test12:

[Enea Zaffanella]

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

Author: Enea Zaffanella <enea.zaffanella at 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;
 }