> I'll try bumping the memory. Although the "months of not working" is not
> quite correct, because it worked fine with 10 GB in 5.6.
After a strange crash yesterday that didn't even print an error message
[0,1] it seems we're back to normal now.
I still don't quite understand why the memory
> I've been using --minheap 3000 --maxheap 3 for that recently and it
> performs quite well (after months of not working at all).
I'll try bumping the memory. Although the "months of not working" is not
quite correct, because it worked fine with 10 GB in 5.6.
Hi,
I'm afraid I don't have a reproducible test case, but Gerwin Klein
encouraged me to post and document this problem anyway.
Using "polyml-5.6-1" bundled with Isabelle, we got the following
assertion failure*:
poly: scanaddrs.cpp:338: void ScanAddress::ScanRuntimeWord(PolyWord*):
Assertion
