MPS issue job003868

TitleTest function/228.c doesn't detect assertions
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionTest function/228.c does not recognise new-style assertion:

    $ qa run function/228.c
    The MPS detected a problem!
    global.c:864: MPS ASSERTION FAILED: PoolHasAttr(refpool, AttrGC)
    See the "Assertions" section in the reference manual:
    http://www.ravenbrook.com/project/mps/...manual/html/topic/error.html#assertions
    sh: line 1: 14363 Abort trap: 6 test/test/obj/Darwin_13.4.0_i386__unix/tmp_test
    Unexpected line in output:
    The MPS detected a problem!
AnalysisForgot to call easy_tramp, so MMQA didn't install its assertion handler.
How foundmanual_test
EvidenceNone
Test procedurefunction/228.c
Created byGareth Rees
Created on2014-10-02 12:19:45
Last modified byGareth Rees
Last modified on2014-10-20 17:22:31
History2014-10-02 GDR Created.

Fixes

Change Effect Date User Description
187154 closed 2014-10-07 22:16:11 Gareth Rees Need to call easy_tramp to get correct assertion handling.