CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cvs...