[isabelle-dev] Failure semantics for isabelle sessions

Alexander Krauss krauss at in.tum.de
Wed Oct 19 22:34:34 CEST 2011

Hi all,

Many of us have already seen isatest and other failures with of the 
following form:

line 77: 13588 Killed                  "$POLY" -q $ML_OPTIONS


make: *** 
Error 137


line 77: 58024 Aborted                 "$POLY" -q $ML_OPTIONS


make: *** 
Error 134

Does anybody know if there is a straightforward translation of the error 
codes 134/137 into English?

It would be really useful if we had a table of the most common failure 
situations, and I wonder if some of this knowledge is already floating 
around somewhere...


More information about the isabelle-dev mailing list