| Title | Assertion failure in apss on xci3ll |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Test case xci3ll/cool/apss fails with seed 1905024866:
./poolmv.c:750: MPS ASSERTION FAILED: size == mv->free + mv->lost |
| Analysis | Lost spans are not accounted as free. This means that the assertion is wrong, and so is the result of the function. In fact we can just return mv->free + mv->lost. |
| How found | automated_test |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2016-09-05 11:40:07 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-09-05 12:03:46 |
| History | 2016-09-05 GDR Created. |