changeset 35284 | 9edc2bd6d2bd |
parent 35075 | 6fd1052fe463 |
child 38412 | b51677438b3a |
1.1 --- a/src/HOL/Nitpick_Examples/Hotel_Nits.thy Mon Feb 22 14:36:10 2010 +0100 1.2 +++ b/src/HOL/Nitpick_Examples/Hotel_Nits.thy Mon Feb 22 19:31:00 2010 +0100 1.3 @@ -12,7 +12,8 @@ 1.4 imports Main 1.5 begin 1.6 1.7 -nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 120 s] 1.8 +nitpick_params [max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, 1.9 + timeout = 120 s] 1.10 1.11 typedecl guest 1.12 typedecl key