117 ("dont_minimize", "minimize")] |
117 ("dont_minimize", "minimize")] |
118 |
118 |
119 val params_for_minimize = |
119 val params_for_minimize = |
120 ["debug", "verbose", "overlord", "type_enc", "strict", "lam_trans", |
120 ["debug", "verbose", "overlord", "type_enc", "strict", "lam_trans", |
121 "uncurried_aliases", "max_mono_iters", "max_new_mono_instances", |
121 "uncurried_aliases", "max_mono_iters", "max_new_mono_instances", |
122 "isar_proofs", "isar_shrink", "timeout", "preplay_timeout"] |
122 "learn", "isar_proofs", "isar_shrink", "timeout", "preplay_timeout"] |
123 |
123 |
124 val property_dependent_params = ["provers", "timeout"] |
124 val property_dependent_params = ["provers", "timeout"] |
125 |
125 |
126 fun is_known_raw_param s = |
126 fun is_known_raw_param s = |
127 AList.defined (op =) default_default_params s orelse |
127 AList.defined (op =) default_default_params s orelse |