4 Jan
2019
4 Jan
'19
2:23 p.m.
Hi,
in a CakeML compilation I got
explorerProgTheory FAILED! <Signal 6> GC: Count error mark count 205399344, bitCount 205372170 GC: Count error mark count 205267608, bitCount 205240434 buildheap: gc.cpp:178: bool doGC(POLYUNSIGNED): Assertion `markCount == bitCount' failed. GC: Count error mark count 205267608, bitCount 205240434
What could cause this? Unsuccessful memory allocation attempt?
Signal 6 is ABRT.
I am using the 5.7.1 release.
- Gergely