changeset 44449 | b622a98b79fb |
parent 44448 | 04bd6a9307c6 |
child 44461 | 5e19eecb0e1c |
--- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML Tue Aug 23 20:35:41 2011 +0200 +++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML Tue Aug 23 22:44:08 2011 +0200 @@ -552,12 +552,14 @@ val e_override_params = [("provers", "e"), + ("max_relevant", "0"), ("type_enc", "poly_guards?"), ("sound", "true"), ("slicing", "false")] val vampire_override_params = [("provers", "vampire"), + ("max_relevant", "0"), ("type_enc", "poly_tags"), ("sound", "true"), ("slicing", "false")]