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...