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.
trap one more Z3 error
authorblanchet
Fri, 17 Dec 2010 09:56:04 +0100
changeset 41236 def0a3013554
parent 41222 f9783376d9b1
child 41237 8b6f3917bc76
trap one more Z3 error
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Dec 17 00:27:40 2010 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Fri Dec 17 09:56:04 2010 +0100
@@ -442,7 +442,8 @@
    (12, InternalError),
    (13, InternalError)]
 val z3_failures =
-  [(103, MalformedInput),
+  [(101, OutOfResources),
+   (103, MalformedInput),
    (110, MalformedInput)]
 val unix_failures =
   [(139, Crashed)]
isabelle