CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-03-01 15:07:18

Modified files: tests/Polyhedron: h79widening1.cc h79widening2.cc Makefile.am Removed files: tests/Polyhedron: h79widening3.cc h79widening4.cc h79widening5.cc h79widening6.cc h79widening7.cc h79widening8.cc

Log message: Adapted h79widening*.cc to new standards for tests.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening3.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening4.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening5.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening6.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening7.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening8....