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.
other way of crashing (with CVC4)
authorblanchet
Thu, 20 Nov 2014 17:29:18 +0100
changeset 59019 0c58b5cf989a
parent 59018 ec8ea2465d2a
child 59020 a86683d6c97e
other way of crashing (with CVC4)
src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Nov 20 17:29:18 2014 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Nov 20 17:29:18 2014 +0100
@@ -49,7 +49,8 @@
    (110, MalformedInput),
    (112, TimedOut)]
 val unix_failures =
-  [(138, Crashed),
+  [(134, Crashed),
+   (138, Crashed),
    (139, Crashed)]
 val smt_failures = z3_failures @ unix_failures
isabelle