[PPL-devel] ppl/tests/Box boundedaffineimage1.cc boundedaf ...
Enea Zaffanella
zaffanella at cs.unipr.it
Sat Mar 1 23:49:36 CET 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2008-03-01 23:49:36
Modified files:
tests/Box : boundedaffineimage1.cc
boundedaffinepreimage1.cc
generalizedaffinepreimage1.cc
Log message:
A few tests may overflow if bounded integers coefficients *and* inexact
interval boundary types are used together.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreimage1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&r1=1.13&r2=1.14
More information about the PPL-devel
mailing list