src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 54816 10d48c2a3e32
parent 41793 c7a2669ae75d
child 55199 ba93ef2c0d27
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Thu Dec 19 10:15:12 2013 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Thu Dec 19 13:43:21 2013 +0100
     1.3 @@ -211,11 +211,11 @@
     1.4  
     1.5  fun run_all_tests () =
     1.6    let
     1.7 -    val {debug, overlord, ...} = Nitpick_Isar.default_params @{theory} []
     1.8 +    val {debug, overlord, timeout, ...} = Nitpick_Isar.default_params @{theory} []
     1.9      val max_threads = 1
    1.10      val max_solutions = 1
    1.11    in
    1.12 -    case Kodkod.solve_any_problem debug overlord NONE max_threads max_solutions
    1.13 +    case Kodkod.solve_any_problem debug overlord timeout max_threads max_solutions
    1.14                                    (map (problem_for_nut @{context}) tests) of
    1.15        Kodkod.Normal ([], _, _) => ()
    1.16      | _ => error "Tests failed."