CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-09-17 11:29:49
Modified files: tests : Makefile.am Added files: tests : addconstraints10.cc bbrz02widening10.cc bbrz02widening11.cc h79widening5.cc minconstraints2.cc mingenerators2.cc timeelapse7.cc topclosure2.cc
Log message: Added other tests to verify some methods of Polyhedron.cc.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening11.cc.diff... 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?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse7.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...