[PPL-devel] ppl/tests Makefile.am addconstraints13.cc addg ...

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	lazy
Changes by:	ericci at cs.unipr.it	2002-11-13 10:58:16

Modified files:
	tests          : Makefile.am addconstraints13.cc 
Added files:
	tests          : addgenerators12.cc affineimage8.cc 
	                 affinepreimage10.cc relations19.cc 
	                 timeelapse8.cc 

Log message:
	Added some other tests that verify the methods
	Polyhedron::add_generators(), Polyhedron::add_generators_and_minimize(),
	Polyhedron::affine_image(), Polyhedron::affine_preimage(),
	Polyhedron::relation_with() and Polyhedron::time_elapse_assign() in the case
	in which the polyhedra can have something pending.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators12.cc?cvsroot=ppl&only_with_tag=lazy&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage8.cc?cvsroot=ppl&only_with_tag=lazy&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage10.cc?cvsroot=ppl&only_with_tag=lazy&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations19.cc?cvsroot=ppl&only_with_tag=lazy&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse8.cc?cvsroot=ppl&only_with_tag=lazy&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.156.2.1&r2=1.156.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints13.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.1.2.1&r2=1.1.2.2