CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2007-03-03 12:38:04

Modified files: tests/BD_Shape : bdsdifference1.cc bhmz05widening1.cc expandspacedim1.cc foldspacedims1.cc limitedbhmz05extrapolation1.cc limitedcc76extrapolation1.cc limitedh79extrapolation1.cc timeelapse1.cc tests/Box : bdsdifference1.cc boxdifference1.cc expandspacedim1.cc foldspacedims1.cc timeelapse1.cc tests/Octagonal_Shape: expandspacedim1.cc foldspacedims1.cc limitedbhmz05extrapolation1.cc limitedcc76extrapolation1.cc timeelapse1.cc

Log message: Noisy output improved.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdsdifference1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhmz05widening1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/expandspacedim1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/foldspacedims1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedbhmz05ex... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76extr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedh79extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bdsdifference1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/expandspacedim1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/foldspacedims1.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/timeelapse1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/expandsp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/foldspac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/limitedb... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/limitedc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/timeelap...