anchor.diff:              ) [] 
           |> testsDone config !lastStep !origArgs !testNb !shrinkNb seed
   
  -    let argumentsToString = List.map (sprintf "%A") >> String.concat "\n"
  +    let private newline = Environment.NewLine
  +
  +    let argumentsToString = List.map (sprintf "%A") >> String.concat newline
   
       let onStartFixtureToString (t:Type) =
  -        sprintf "--- Checking %s ---\n" t.Name
  +        sprintf "--- Checking %s ---%s" t.Name newline
   
       ///A function that returns the default string that is printed as a result of the test.
       let onFinishedToString name testResult =
           let pluralize nb = if nb = 1 then String.Empty else "s"
           let display l = match l with
  -                        | []  -> ".\n"
  -                        | [x] -> " (" + x + ").\n"
  -                        | xs  -> ".\n" + List.fold (fun acc x -> x + ".\n"+ acc) "" xs    
  +                        | []  -> sprintf ".%s" newline
  +                        | [x] -> sprintf " (%s).%s" x newline
  +                        | xs  -> sprintf ".%s%s" newline (List.fold (fun acc x -> x + "." + newline + acc) "" xs)
           let entry (p,xs) = sprintf "%A%s %s" p "%" (String.concat ", " xs)
           let stamps_to_string s = s |> Seq.map entry |> Seq.toList |> display
           let labels_to_string l = String.concat ", " l
           let maybePrintLabels (l:Set<_>) = 
               if l.Count > 0 then
  -                sprintf "Label%s of failing property: %s\n" (pluralize l.Count) (labels_to_string l)
  +                sprintf "Label%s of failing property: %s%s" (pluralize l.Count) (labels_to_string l) newline
               else
                   String.Empty
           let name = if String.IsNullOrEmpty(name) then String.Empty else (name+"-")  
  
positive.code:             sprintf "%sOk, passed %i test%s%s" 
                  name data.NumberOfTests (pluralize data.NumberOfTests) (data.Stamps |> stamps_to_string )
          | False (data, origArgs, args, Exception exc, usedSeed) -> 
              sprintf "%sFalsifiable, after %i test%s (%i shrink%s) (%A):\n" 
                  name data.NumberOfTests (pluralize data.NumberOfTests) data.NumberOfShrinks (pluralize data.NumberOfShrinks) usedSeed
              + maybePrintLabels data.Labels  
              + sprintf "%s\n" (args |> argumentsToString)
              + sprintf "with exception:\n%O\n" exc
          | False (data, origArgs, args, Timeout i, usedSeed) -> 
              sprintf "%sTimeout of %i milliseconds exceeded, after %i test%s (%i shrink%s) (%A):\n" 
                  name i data.NumberOfTests (pluralize data.NumberOfTests) data.NumberOfShrinks (pluralize data.NumberOfShrinks) usedSeed 
              + maybePrintLabels data.Labels 
              + sprintf "%s\n" (args |> argumentsToString)
          | False (data, origArgs, args, _, usedSeed) -> 
              sprintf "%sFalsifiable, after %i test%s (%i shrink%s) (%A):\n" 
                  name data.NumberOfTests (pluralize data.NumberOfTests) data.NumberOfShrinks (pluralize data.NumberOfShrinks) usedSeed
              + maybePrintLabels data.Labels  
              + sprintf "%s\n" (args |> argumentsToString) 
          | Exhausted data -> 
              sprintf "%sArguments exhausted after %i test%s%s" 
                  name data.NumberOfTests (pluralize data.NumberOfTests) (data.Stamps |> stamps_to_string )
  
      let onArgumentsToString n args = 
          sprintf "%i:\n%s\n" n (argumentsToString args)
      
      let onShrinkToString args =
          sprintf "shrink:\n%s\n" (argumentsToString args)
  
      ///A runner that prints results to the console.
      let consoleRunner =
  
negative.code:         t.GetMethods(BindingFlags.Static ||| BindingFlags.Public) |>
          Array.filter hasTestableReturnType |>
          Array.iter (fun m -> checkMethod {config with Name = t.Name+"."+m.Name} m)
          printf "%s" newline
  
  open Runner
  open System
  