On 14/10/2011 10:02, Makarius wrote:
On Fri, 14 Oct 2011, Gerwin Klein wrote:
Is anyone else observing intermittent problems like this?
Building Jinja ...
poly: scanaddrs.cpp:107: PolyWord
ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion
`val.IsDataPtr()' failed.
/home/kleing/volatile/isadist/Isabelle_13-Oct-2011/lib/scripts/run-polyml:
line 77: 20095 Aborted "$POLY" -q $ML_OPTIONS
Jinja FAILED
Yes, occasionally. Such hard crashes were more frequent in the past, and
we are running much more and bigger jobs now.
I pointed out in an email to Gerwin that this looks very like the bug
that was fixed in commit 1297 in Poly/ML head and 1318 in the fixes
branch. Which version of Poly/ML was this? It is possible that this
could be the result of a different bug in which case I will need to look
more closely.
Regards,
David
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
