| 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. |