2 Feb
2009
2 Feb
'09
8:24 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2009-02-02 09:24:18
Modified files: tests/Polyhedron: addgenerator1.cc addgenerators1.cc
Log message: New tests show an assertion failure when adding the vector space origin to an empty zero-dim space polyhedron, thereby turning it into a zero-dim universe polyhedron. The assertion only fails if the inconsistent constraint system of the empty polyhedron was previously generated.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerators...