Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/Isar crash

Email Gateway (Aug 17 2022 at 13:47):

From: Nicole Rauch <rauch@informatik.uni-kl.de>
Hello Clemens,

Thanks for the pointer! I increased the total heap size to 15000 kB.
Now I get error msg 139,

/Volumes/Heart/Users/rauch/Applications/Isabelle2005/lib/scripts/run-
polyml: line 126: 8707 Segmentation fault "$POLY" $ML_OPTIONS "$
(fixpath "$DB")"

Any ideas??
TIA

Nicole

Last updated: May 03 2024 at 08:18 UTC