Title | Assertion failure in AMS: "grey == TraceSetEMPTY || SegRankSet(seg) != RankSetEMPTY" |
Status | suspended |
Priority | essential |
Assigned user | Gareth Rees |
Organization | Ravenbrook |
Description | Starting with scheme-advanced.c#15 [1], replace the AMC pool with AMS (the generation chain needs to be shortened to a single generation). Then run the leaf test case. $ ./scheme-advanced test-leaf.scm MPS ASSERTION FAILURE: grey == TraceSetEMPTY || SegRankSet(seg) != RankSetEMPTY ../../code/seg.c 270 |
Analysis | None. |
How found | manual_test |
Evidence | [1] <http://info.ravenbrook.com/project/mps...-guide/example/scheme/scheme-advanced.c > |
Observed in | 1.110.0 |
Created by | Gareth Rees |
Created on | 2012-11-07 13:38:44 |
Last modified by | Gareth Rees |
Last modified on | 2014-03-27 21:29:29 |
History | 2012-11-07 GDR Created. 2014-03-25 GDR Suspended: can no longer be reproduced. |