| Title | No error if you create a pool using a format from another arena |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | You can create a pool in one arena using a format from another arena, and the MPS does not detect this or complain. |
| Analysis | It's not clear what exactly will go wrong, but it seems dodgy. Possibly there are other errors of the form "create an X in one arena using a Y from another". Here are the possibilities to check: X Y pool chain pool format root thread |
| How found | automated_test |
| Evidence | None |
| Test procedure | conerr/18.c |
| Created by | Gareth Rees |
| Created on | 2014-10-13 20:02:06 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:03:48 |
| History | 2014-10-13 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 187268 | closed | 2014-10-14 22:21:43 | Gareth Rees | Assert if you try to create a pool using a format from another arena, a pool using a chain from another arena, or a root using a thread from another arena. |