[PPL-devel] ppl/tests Makefile.am generators2.cc addgenera ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2004-10-11 11:58:52

Modified files:
	tests          : Makefile.am generators2.cc 
Added files:
	tests          : addgenerator5.cc 

Log message:
	Tests generators2 and addgenerator5 show a bug in the handling of space
	dimensions for a generator system corresponding to an empty polyhedron.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator5.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.220&r2=1.221
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators2.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10