[PPL-devel] ppl/tests Makefile.am limitedbbrz02widening1.c ...

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at 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=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.139&r2=1.140
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbbrz02widening1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2