CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi@cs.unipr.it 2006-04-26 11:48:55

Modified files: tests/Octagon : Makefile.am contains1.cc empty1.cc Removed files: tests/Octagon : contains2.cc contains3.cc contains4.cc contains5.cc contains6.cc contains7.cc contains8.cc empty2.cc empty3.cc

Log message: Tests for contains() and is_empty() 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/contains1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains3.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains4.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains5.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains6.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains7.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/contains8.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/empty3.cc.diff?c...