src/HOL/Spec_Check/output_style.ML

 fun pad wd = StringCvt.padLeft #"0" wd o Int.toString
 
 fun new ctxt tag =
   let
     val gen_target = Config.get_generic ctxt Spec_Check.gen_target
-    val _ = writeln ("[testing " ^ tag ^ "... ") (* TODO: Output without line break *)
+    val _ = writeln ("[testing " ^ tag ^ "... ")
     fun finish ({count, ...}, badobjs) = case (count, badobjs) of
         (0, []) => writeln ("no valid cases generated]")
       | (n, []) => writeln (
             if n >= gen_target then "ok]"
             else "ok on " ^ string_of_int n ^ "; " ^ string_of_int gen_target ^ " required]")