src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 38186 c28018f5a1d6
parent 37396 18a1e9c7acb0
child 38190 b02e204b613a
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Aug 03 17:43:15 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Aug 03 18:14:44 2010 +0200
     1.3 @@ -318,8 +318,13 @@
     1.4    end
     1.5  
     1.6  fun run_all_tests () =
     1.7 -  case Kodkod.solve_any_problem false NONE 0 1
     1.8 -                                (map (problem_for_nut @{context}) tests) of
     1.9 +  let
    1.10 +    val {overlord, ...} = Nitpick_Isar.default_params thy []
    1.11 +    val max_threads = 1
    1.12 +    val max_solutions = 1
    1.13 +  in
    1.14 +    case Kodkod.solve_any_problem overlord NONE max_threads max_solutions
    1.15 +                                  (map (problem_for_nut @{context}) tests) of
    1.16      Kodkod.Normal ([], _, _) => ()
    1.17    | _ => error "Tests failed."
    1.18