| Title | Destroying an automatically managed pool does not check that the arena is parked |
| Status | open |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The 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. |
| Analysis | Note 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 found | inspection |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-04-15 16:07:55 |
| Last modified by | Gareth Rees |
| Last modified on | 2018-06-27 14:50:28 |
| History | 2016-04-15 GDR Created. |