src/HOL/Nitpick_Examples/Core_Nits.thy
changeset 34083 652719832159
parent 34082 61b7aa37f4b7
child 34126 8a2c5d7aff51
     1.1 --- a/src/HOL/Nitpick_Examples/Core_Nits.thy	Mon Dec 14 10:31:35 2009 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Core_Nits.thy	Mon Dec 14 10:59:46 2009 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -nitpick_params [sat_solver = MiniSatJNI]
     1.8 +nitpick_params [sat_solver = MiniSatJNI, max_threads = 1, timeout = 60 s]
     1.9  
    1.10  subsection {* Curry in a Hurry *}
    1.11