CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-10-15 15:27:53

Modified files: tests : Makefile.am Added files: tests : adddimensions12.cc affineimage6.cc affinepreimage8.cc disjoint1.cc generalizedaffineimage11.cc generalizedaffineimage12.cc limitedh79widening4.cc

Log message: Added new tests for some methods of the class Polyhedron.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions12.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage6.cc?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage8.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/disjoint1.cc?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage11... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage12... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening4.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...