|Title||AMCWalk does not honour its contract|
|Assigned user||Richard Brooksby|
|Description||AMCWalk does not honour its contract|
This function is supposed to iterate over all black objects in an AMC
pool. It doesn't do that when a segment is nailed.
Also, perhaps the documentation for mps_arena_formatted_objects_walk
should mention the intended behaviour when invoked in the middle of a
|Analysis||It should be made to work for nailed segments. Or documented as|
recommended to be used only when the arena is parked.
|Created by||David Jones|
|Created on||2007-07-12 15:39:37|
|Last modified by||Gareth Rees|
|Last modified on||2014-04-10 12:37:48|
|History||2007-07-12 DRJ Created.|
2013-03-19 GDR Assigned to RB.
|185424||closed||2014-04-10 12:37:48||Gareth Rees||Document that the arena must be parked in order for mps_arena_formatted_objects_walk to visit all objects.|