CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara@cs.unipr.it 2006-04-07 09:29:23

Modified files: tests/Octagon : addspacedims1.cc addspacedims2.cc addspacedims3.cc affineimage1.cc affineimage10.cc affineimage2.cc affineimage3.cc affineimage4.cc affineimage5.cc affineimage6.cc affineimage7.cc affineimage8.cc affineimage9.cc affinepreimage1.cc affinepreimage2.cc affinepreimage3.cc affinepreimage4.cc affinepreimage5.cc affinepreimage6.cc affinepreimage7.cc cc76extrapolation1.cc cc76extrapolation2.cc cc76extrapolation3.cc cc76extrapolation4.cc cc76extrapolation5.cc cc76narrowing1.cc cc76narrowing2.cc ch78widening1.cc ch78widening10.cc ch78widening11.cc ch78widening12.cc ch78widening13.cc ch78widening2.cc ch78widening3.cc ch78widening4.cc ch78widening5.cc ch78widening6.cc ch78widening7.cc ch78widening8.cc ch78widening9.cc chinainit.cc constraints1.cc constraints2.cc constraints3.cc constraints4.cc constraints5.cc generalizedaffineimage1.cc generalizedaffineimage2.cc generalizedaffineimage3.cc generalizedaffineimage4.cc generalizedaffineimage5.cc generalizedaffineimage6.cc generalizedaffineimage7.cc generalizedaffineimage8.cc generalizedaffineimage9.cc intersection1.cc intersection2.cc intersection3.cc intersection4.cc intersection5.cc intersection6.cc intersection7.cc limitedcc76extrapolation1.cc limitedcc76extrapolation2.cc limitedcc76extrapolation3.cc limitedch78extrapolation1.cc limitedch78extrapolation2.cc limitedch78extrapolation3.cc limitedch78extrapolation4.cc limitedch78extrapolation5.cc limitedch78extrapolation6.cc mapspacedims1.cc polydifference1.cc polydifference2.cc polydifference3.cc polyhull1.cc polyhull10.cc polyhull2.cc polyhull3.cc polyhull4.cc polyhull5.cc polyhull6.cc polyhull7.cc polyhull8.cc polyhull9.cc removespacedims1.cc removespacedims2.cc removespacedims3.cc removespacedims4.cc removespacedims5.cc timeelapse2.cc timeelapse3.cc timeelapse4.cc timeelapse5.cc timeelapse6.cc timeelapse7.cc timeelapse8.cc timeelapse9.cc

Log message: Known results must always be of type Octagon<mpq_class>.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage10.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage4.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage5.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage6.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage7.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage8.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage9.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage3.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage4.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage5.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage6.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage7.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolatio... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening10.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening11.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening12.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening13.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening8.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening9.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints4.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints5.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference3.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull10.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull3.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull4.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull5.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull6.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull7.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull8.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polyhull9.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims4... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims5... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse5.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse6.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse7.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse8.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/timeelapse9.cc.d...