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.
pick up GaveUp error on SystemOnTPTP
authorblanchet
Sun, 01 May 2011 18:37:25 +0200
changeset 42584 8121a31b6754
parent 42583 84b134118616
child 42585 723b9d1e8ba5
pick up GaveUp error on SystemOnTPTP
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun May 01 18:37:25 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun May 01 18:37:25 2011 +0200
@@ -359,6 +359,7 @@
    known_failures =
      known_failures @ known_perl_failures @
      [(IncompleteUnprovable, "says Unknown"),
+      (IncompleteUnprovable, "says GaveUp"),
       (TimedOut, "says Timeout")],
    hypothesis_kind = hypothesis_kind,
    formats = formats,
isabelle