CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-07-29 00:49:09
Modified files:
src : Polyhedron.cc
Log message:
Fixed a bug in check_universe(), which was returning the wrong result
when called by a zero-dim universe polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-07-29 00:43:40
Modified files:
tests : universe6.cc
Log message:
Added a new test, showing two bugs:
- the first bug has to do with an invariant that was not fullfilled
when creating an NNC polyehdron starting from an empty constraint system;
this bug was only visible when compiling with assertions turned on.
- the second bug was due to the fact that check_universe() returns
the wrong result when applied to a zero-dim-universe polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe6.cc.diff?cvsro…
