changeset 46095 | cd5c72462bca |
parent 45035 | 60d2c03d5c70 |
child 54633 | 86e0b402994c |
--- a/src/HOL/Nitpick_Examples/Pattern_Nits.thy Tue Jan 03 18:33:18 2012 +0100 +++ b/src/HOL/Nitpick_Examples/Pattern_Nits.thy Tue Jan 03 18:33:18 2012 +0100 @@ -11,7 +11,7 @@ imports Main begin -nitpick_params [verbose, card = 10, max_potential = 0, sat_solver = MiniSat_JNI, +nitpick_params [verbose, card = 8, max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, timeout = 240] lemma "x = (case u of () \<Rightarrow> y)"