MPS issue job003754

Titlefinaltest failure
Assigned userGareth Rees
DescriptionSee [1]:

    lii6ll/cool/finaltest: randomize(): choosing initial state (v3): 372670397.
    poolams.c:80: MPS ASSERTION FAILED: !(amsseg->ams->shareAllocTable && amsseg->allocTableInUse && amsseg->colourTablesInUse)
AnalysisNone as yet.
How foundautomated_test
Evidence[1] <>
Test procedurefinaltest
Created byGareth Rees
Created on2014-04-10 19:31:01
Last modified byGareth Rees
Last modified on2014-10-20 17:36:10
History2014-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.