CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-09-19 17:16:37
Modified files: tests : Makefile.am Added files: tests : affineimage3.cc affinepreimage5.cc relations10.cc relations11.cc
Log message: Added some tests for the methods of the classes Polyhedron, ConSys and GenSys.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage5.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations10.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations11.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...