MPS issue job004005

TitleDestroying an automatically managed pool does not check that the arena is parked
Assigned userGareth Rees
DescriptionThe manual recommends "destroy automatically managed pools just before destroying the arena, and then only while the arena is in the parked state". Since it's unsafe to do otherwise, we could make this an error.
AnalysisNote that this would be a backward-incompatible change so we would need at least one version of deprecation. Or there could be an option to enable this checking.

Many test cases violate this recommendation, making this tricky to fix.
How foundinspection
EvidenceNone as yet.
Created byGareth Rees
Created on2016-04-15 16:07:55
Last modified byGareth Rees
Last modified on2018-06-27 14:50:28
History2016-04-15 GDR Created.