Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recognize bus errors as crash
authorblanchet
Tue, 14 Aug 2012 12:54:26 +0200
changeset 48797 e65385336531
parent 48796 0f94b8b69e79
child 48798 9152e66f98da
recognize bus errors as crash
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Tue Aug 14 12:49:42 2012 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Tue Aug 14 12:54:26 2012 +0200
@@ -906,7 +906,8 @@
    (103, MalformedInput),
    (110, MalformedInput)]
 val unix_failures =
-  [(139, Crashed)]
+  [(138, Crashed),
+   (139, Crashed)]
 val smt_failures = remote_smt_failures @ z3_failures @ unix_failures
 
 fun failure_from_smt_failure (SMT_Failure.Counterexample {is_real_cex, ...}) =
isabelle