CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi@cs.unipr.it 2006-04-26 12:44:20

Modified files: tests/Octagon : Makefile.am constraints1.cc Removed files: tests/Octagon : constraints2.cc constraints3.cc constraints4.cc constraints5.cc

Log message: Tests for constraints() 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/constraints1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints2.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints3.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints4.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints5.cc....