src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 43910 575bf39e078b
parent 43892 86ede854b4f5
child 43911 a1da544e2652
     1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Jul 20 08:16:32 2011 +0200
     1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Jul 20 08:16:33 2011 +0200
     1.3 @@ -263,7 +263,7 @@
     1.4              (NONE, !current_result)
     1.5            else
     1.6              let
     1.7 -              val _ = message ("Test data size: " ^ string_of_int k)
     1.8 +              val _ = message ("[Quickcheck-Narrowing] Test data size: " ^ string_of_int k)
     1.9                val _ = current_size := k
    1.10                val ((response, _), timing) = elapsed_time ("execution of size " ^ string_of_int k)
    1.11                  (fn () => Isabelle_System.bash_output (executable ^ " " ^ string_of_int k))