15 Apr
2016
15 Apr
'16
1:59 p.m.
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 `w->IsDataPtr()' failed.
$ uname -a Linux vm-10-155-208-88 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u3 (2016-01-17) x86_64 GNU/Linux
ML_OPTIONS="-H 8000"
Cheers Lars
* https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/131/console