Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Assertion failed

view this post on Zulip Email Gateway (Aug 19 2022 at 13:16):

From: Joachim Breitner <breitner@kit.edu>
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.

message_output terminated
/opt/isabelle/Isabelle2013-2/lib/scripts/run-polyml-5.5.1: Zeile 84: 19418 Abgebrochen "$POLY" -q -i $ML_OPTIONS --eval "$(perl "$ISABELLE_HOME/lib/scripts/recode.pl" "$MLTEXT")" --error-exit < /dev/null

standard_output terminated
standard_error terminated
process terminated
command_input terminated
process_manager terminated
Return code: 134

Is that useful to anyone?

Greetings,
Joachim
signature.asc

view this post on Zulip Email Gateway (Aug 19 2022 at 13:17):

From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
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

Last updated: Nov 21 2024 at 12:39 UTC