What were the circumstances? Was this a one off? This is a really weird bug that I saw in the past under conditions of heavy swapping and never managed to track down. Is this reproducible? Does it happen on particular hardware?
David
On 04/01/2019 14:23, Gergely Buday wrote:
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
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml