CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-03-03 09:43:39 Modified files: tests/Polyhedron: ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc Removed files: tests/Polyhedron: ascii_dump_load4.cc ascii_dump_load5.cc ascii_dump_load6.cc ascii_dump_load7.cc Log message: Adapted ascii_dump_load*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/ascii_dump_lo...