changeset 41278 | 8e1cde88aae6 |
parent 40341 | 03156257040f |
child 42208 | 02513eb26eb7 |
--- a/src/HOL/Nitpick_Examples/Pattern_Nits.thy Sun Dec 19 00:13:25 2010 +0100 +++ b/src/HOL/Nitpick_Examples/Pattern_Nits.thy Sun Dec 19 11:48:42 2010 +0100 @@ -11,7 +11,7 @@ imports Main begin -nitpick_params [card = 10, max_potential = 0, sat_solver = MiniSat_JNI, +nitpick_params [verbose, card = 10, max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] lemma "x = (case u of () \<Rightarrow> y)"