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.
added 112 to list of known Z3 error codes
authorblanchet
Wed, 02 Jan 2013 09:42:57 +0100
changeset 50667 e0cba8893691
parent 50666 6f48853f08d5
child 50668 e25275f7d15e
added 112 to list of known Z3 error codes
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Jan 02 09:31:25 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Jan 02 09:42:57 2013 +0100
@@ -939,7 +939,8 @@
 val z3_failures =
   [(101, OutOfResources),
    (103, MalformedInput),
-   (110, MalformedInput)]
+   (110, MalformedInput),
+   (112, TimedOut)]
 val unix_failures =
   [(138, Crashed),
    (139, Crashed)]
isabelle