[isabelle-dev] Failure semantics for isabelle sessions

Alexander Krauss krauss at in.tum.de
Thu Oct 20 08:21:14 CEST 2011

Lars Noschinski <noschinl at in.tum.de> wrote:

>On 19.10.2011 23:36, Jasmin Christian Blanchette wrote:
>> Am 19.10.2011 um 22:34 schrieb Alexander Krauss:
>>> Does anybody know if there is a straightforward translation of the
>error codes 134/137 into English?
>> Just Google "Unix exit codes".
>> E.g. 134 = "The job is killed with an abort signal, and you probably
>got core dumped", 137 = "The job was killed because it exceeded the
>time limit", and 139 = "Segmentatation violation".
>Usually, the exit codes >128 presented to you by the shell are
>  128+(nr of signal). When wait()ing on a process, you can also 
>differentiate between killed by a signal and a program just returning 
>error codes >128.

Cool, thanks.


More information about the isabelle-dev mailing list