[PPL-devel] ppl/tests/Box addconstraints1.cc addspacedims1 ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2008-02-28 22:13:54

Modified files:
	tests/Box      : addconstraints1.cc addspacedims1.cc 
	                 affineimage1.cc affinepreimage1.cc 
	                 expandspacedim1.cc foldspacedims1.cc 
	                 geomcovers1.cc mapspacedims1.cc 
	                 removespacedims1.cc 

Log message:
	Do not name something `box1' if there is no `box2' in sight.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addspacedims1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affineimage1.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affinepreimage1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/expandspacedim1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/foldspacedims1.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/geomcovers1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/mapspacedims1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/removespacedims1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8