[isabelle-dev] PolyML crashes
dm at prolingua.co.uk
Fri Feb 21 12:30:42 CET 2014
I'm aware of a number of assertion failures that seem to occur
intermittently. This is one of the ones on my list. I suspect they are
all symptoms of the same bug but I have never been able to narrow it
down or reproduce it. It does seem to occur when the memory management
is under heavy load.
Thanks for reporting it and if anyone manages to reproduce it more
consistently I would be very interested.
On 20/02/2014 14:21, Ondřej Kunčar wrote:
> In the past couple of months I've gotten a crash of PolyML always with
> the same error message. I cannot reproduce the problem reliably but
> because it has already happened, let say, six times in the past three
> months, I am reporting the problem here:
> Unofficial version of Isabelle/HOL (unidentified repository version)
> poly: gc_mark_phase.cpp:432: virtual void
> POLYUNSIGNED): Assertion `baseAddr > (PolyWord*)obj && baseAddr <
> ((PolyWord*)obj)+length' failed.
> This refers to any changeset in the past three months.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev