CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2007-09-14 18:50:18

Modified files: tests/Polyhedron: Makefile.am randphull1.cc smm1.cc Removed files: tests/Polyhedron: randphull2.cc

Log message: Tests randphull[12] and smm1 now conforms to the STANDARDS for test programs; randphull2 merged into randphull1; the old machinery in Makefile.am for tests failing with bounded coefficients is no longer needed.

Patches: 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/randphull1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/smm1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull2.cc...