MPS issue job003506

Titleawlutth test case fails on lii6gc
Statusclosed
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe awlutth test case fails on lii6gc with this assertion:

    code/lii6gc/cool/awlutth: randomize(): choosing initial state (v3): 1750031566.
    awlutth: fmtdy.c:108: dylan_wrapper_check: Assertion `w != ((void *)0)' failed.
    Aborted (core dumped)
AnalysisNone as yet.
How foundautomated_test
EvidenceNone.
Observed in1.111.0
Created byGareth Rees
Created on2013-06-03 11:31:03
Last modified byRichard Brooksby
Last modified on2013-07-17 16:11:54
History2013-06-03 GDR Created.

Fixes

Change Effect Date User Description
182896 closed 2013-07-02 19:09:35 Richard Brooksby Fixing alloc_table in awlutth.c so that it doesn't allocate a bogus extra word. Not sure how it got like this.

Imported from Git
 Author: Richard Brooksby <rb@ravenbrook.com> 1372788575 +0100
 Committer: Richard Brooksby <rb@ravenbrook.com> 1372789096 +0100
 sha1: eecf49d73652c6eaf51ee17770ff4fbe5d5ab0b1