[PPL-devel] ppl/tests universe6.cc
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Mon Jul 29 00:43:40 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at 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?cvsroot=ppl&r1=1.1&r2=1.2
More information about the PPL-devel
mailing list