[PPL-devel] ppl/tests/Octagon affinedimension1.cc affineim ...
Barbara Quartieri
quartieri at cs.unipr.it
Tue May 23 12:00:25 CEST 2006
CVSROOT: /cvs/ppl
Module name: ppl
Branch: octagons
Changes by: quartieri at cs.unipr.it 2006-05-23 12:00:25
Modified files:
tests/Octagon : affinedimension1.cc affineimage1.cc
affinepreimage1.cc bhmz05widening1.cc
cc76extrapolation1.cc cc76narrowing1.cc
constraints1.cc contains1.cc fromgensys1.cc
generalizedaffineimage1.cc
generalizedaffineimage3.cc
generalizedaffinepreimage2.cc
generalizedaffinepreimage3.cc intersection1.cc
limitedbhmz05extrapolation1.cc
limitedcc76extrapolation1.cc maxspacedim.cc
octdifference1.cc octhull1.cc relatwithcons2.cc
relatwithgen1.cc removespacedims1.cc
timeelapse1.cc
Log message:
Corrected the exception throw tests and added some tests where needed.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinedimension1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhmz05widening1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/fromgensys1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffineimage3.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffinepreimage3.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedbhmz05extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extrapolation1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/maxspacedim.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octhull1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons2.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithgen1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
More information about the PPL-devel
mailing list