10 Jul
2002
10 Jul
'02
11:55 a.m.
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...