[PPL-devel] ppl/tests bhz03widening3.cc bhz03widening6.cc ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2004-08-17 08:05:48

Modified files:
	tests          : bhz03widening3.cc bhz03widening6.cc 
	                 boundingbox2.cc boundingbox4.cc 

Log message:
	Comments revised in boundinbox2.cc and boundingbox4.cc.
	Known result in bhz03widening3.cc added and checked.
	New test added to bhz03widening6.cc for the case when the multiset
	ordering wrt the lgo is converging.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening3.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10