CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-09-17 18:44:53
Modified files: tests : Makefile.am exceptions2.cc h79widening5.cc minconstraints2.cc Added files: tests : contains1.cc
Log message: Improved some tests and added other tests to verify some methods of Polyhedron.cc and C_Polyhedron.cc.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints2.cc.diff?...