CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi@cs.unipr.it 2006-04-19 17:09:43

Modified files: tests/Octagon : Makefile.am intersection1.cc octdifference1.cc Removed files: tests/Octagon : intersection2.cc intersection3.cc intersection4.cc intersection5.cc intersection6.cc intersection7.cc octdifference2.cc octdifference3.cc

Log message: Tests for intersection_assign() and oct_difference_assign() rewritten according to the new guidelines.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference3.c...