Re: [isabelle] Assertion failed



Le Sun, 08 Dec 2013 14:20:25 +0100, Joachim Breitner <breitner at kit.edu> a écrit:

Hi,

I just upgraded to 2013-2, and for the first time got a syslog window
popping up, with this information:

Welcome to Isabelle/HOLCF-Nominal2 (Isabelle2013-2: December 2013)
poly: gc_mark_phase.cpp:432: virtual void MTGCProcessMarkPointers::ScanAddressesInObject(PolyObject*, POLYUNSIGNED): Assertion `baseAddr > (PolyWord*)obj && baseAddr < ((PolyWord*)obj)+length' failed.

So there is an issue with the garbage collector?

You may forward this also to the mail indicated there:
http://www.polyml.org/support.html

--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.