--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Wed Jul 20 08:16:32 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Wed Jul 20 08:16:33 2011 +0200
@@ -263,7 +263,7 @@
(NONE, !current_result)
else
let
- val _ = message ("Test data size: " ^ string_of_int k)
+ val _ = message ("[Quickcheck-Narrowing] Test data size: " ^ string_of_int k)
val _ = current_size := k
val ((response, _), timing) = elapsed_time ("execution of size " ^ string_of_int k)
(fn () => Isabelle_System.bash_output (executable ^ " " ^ string_of_int k))