| Title | finaltest failure |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | See [1]: lii6ll/cool/finaltest: randomize(): choosing initial state (v3): 372670397. ... poolams.c:80: MPS ASSERTION FAILED: !(amsseg->ams->shareAllocTable && amsseg->allocTableInUse && amsseg->colourTablesInUse) Aborted |
| Analysis | None as yet. |
| How found | automated_test |
| Evidence | [1] <https://travis-ci.org/Ravenbrook/mps-temporary/jobs/22712127> |
| Test procedure | finaltest |
| Created by | Gareth Rees |
| Created on | 2014-04-10 19:31:01 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:36:10 |
| History | 2014-04-10 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 185440 | closed | 2014-04-10 19:40:42 | Gareth Rees | Must ensure the consistency of a segment even if we are just about to free it, because the segment must pass the SegCheck inside SegFree. |