CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-10-16 19:00:38
Modified files: tests : Makefile.am limitedbbrz02widening1.cc Added files: tests : relations17.cc writegensys1.cc writegensys2.cc
Log message: Added new tests for the methods of the class GenSys. limitedbbrz02widening1.cc is now silent. Now we do not test nnc_bbrz02widening4.cc and nnc_bbrz02widening7.cc because they contains NNC polyhedra.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations17.cc?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys1.cc?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys2.cc?cvsroot=... 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/limitedbbrz02widening1.c...