CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi@cs.unipr.it 2006-10-17 11:26:23 Modified files: tests/Octagonal_Shape: affineimage1.cc affinepreimage1.cc bhmz05widening1.cc boundedaffineimage1.cc cc76extrapolation1.cc cc76narrowing1.cc disjoint1.cc generalizedaffineimage3.cc generalizedaffinepreimage2.cc generalizedaffinepreimage3.cc intersection1.cc limitedbhmz05extrapolation1.cc limitedcc76extrapolation1.cc octdifference1.cc octhull1.cc relatwithcons2.cc relatwithgen1.cc removespacedims1.cc timeelapse1.cc Log message: Fixed lots of spelling mistakes in many tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affineimage1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affinepreimage1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bhmz05widening1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/boundedaffineimage1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/cc76extrapolation1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/cc76narrowing1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/disjoint1.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/generalizedaffineimage3.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/generalizedaffinepreimage3.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/intersection1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/limitedbhmz05extrapolation1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/limitedcc76extrapolation1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/octdifference1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/octhull1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwithcons2.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwithgen1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/removespacedims1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/timeelapse1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2