CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-07-10 11:55:46

Modified files: tests : Makefile.am Added files: tests : polydifference2.cc

Log message: Added a new test showing two bugs: - the assignment operator on Polyhedron breaks the invariant saying that an empty polyhedron has a constraint system with either no rows or a single unsatisfiable constraint; - the current implementation of poly_difference_assign() is wrong in that it disregards equality constraints.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...