On 14/10/2011, at 9:32 PM, David Matthews wrote: > 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.
My version was poly-5.4.0 as distributed with Isabelle. I've switched the test to poly-5.4.1 now. We should know in a day or two if the problem still persists. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
