27 Apr
2006
27 Apr
'06
1:20 p.m.
CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri@cs.unipr.it 2006-04-27 13:20:24
Modified files: tests/Octagon : Makefile.am Removed files: tests/Octagon : exceptions1.cc exceptions2.cc exceptions3.cc
Log message: Unnecessary test files removed. Exceptions are included in the specified tests for every functions.
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/exceptions1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions3.cc.d...