improve SInE-E failure message
authorblanchet
Wed Sep 08 19:20:52 2010 +0200 (2010-09-08)
changeset 39257eec61233dbad
parent 39223 022f16801e4e
child 39258 65903ec4e8e8
improve SInE-E failure message
src/HOL/Tools/ATP/atp_systems.ML
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Sep 08 16:01:06 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Sep 08 19:20:52 2010 +0200
     1.3 @@ -285,7 +285,7 @@
     1.4  val remote_e = remotify_prover e "EP" ["1.0", "1.1", "1.2"]
     1.5  val remote_vampire = remotify_prover vampire "Vampire" ["9.0", "1.0", "0.6"]
     1.6  val remote_sine_e =
     1.7 -  remote_prover "sine_e" "SInE" [] [] [(Unprovable, "says Unknown")]
     1.8 +  remote_prover "sine_e" "SInE" [] [] [(IncompleteUnprovable, "says Unknown")]
     1.9                  800 (* FUDGE *) true
    1.10  val remote_snark =
    1.11    remote_prover "snark" "SNARK---" [] [("refutation.", "end_refutation.")] []