[isabelle-dev] Failure semantics for isabelle sessions
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Wed Oct 19 23:36:04 CEST 2011
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".
More information about the isabelle-dev