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 one more SystemOnTPTP error
authorblanchet
Sun, 22 May 2011 14:51:04 +0200
changeset 42941 47f366f1fe32
parent 42940 f838586ebec2
child 42942 ad34216cff2f
recognize one more SystemOnTPTP error
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun May 22 14:51:04 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun May 22 14:51:04 2011 +0200
@@ -380,7 +380,8 @@
    proof_delims = insert (op =) tstp_proof_delims proof_delims,
    known_failures =
      known_failures @ known_perl_failures @
-     [(IncompleteUnprovable, "says Unknown"),
+     [(Unprovable, "says Satisfiable"),
+      (IncompleteUnprovable, "says Unknown"),
       (IncompleteUnprovable, "says GaveUp"),
       (TimedOut, "says Timeout")],
    conj_sym_kind = conj_sym_kind,
isabelle