anchor.diff:      ///The verbose configuration prints each generated argument.
       static member Verbose = 
           { Config.Quick with 
  -            Every       = fun n args -> sprintf "%i:\n%s\n" n (argumentsToString args)
  -            EveryShrink = fun args -> sprintf "shrink:\n%s\n" (argumentsToString args)
  +            Every       = fun n args -> sprintf "%i:%s%s%s" n Environment.NewLine (argumentsToString args) Environment.NewLine
  +            EveryShrink = fun args -> sprintf "shrink:%s%s%s" Environment.NewLine (argumentsToString args) Environment.NewLine
           }
       ///The default configuration is the quick configuration.
       static member Default = Config.Quick
  
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:             ) [] 
          |> testsDone config !lastStep !origArgs !testNb !shrinkNb seed
  
      let private newline = Environment.NewLine
  
      let argumentsToString = List.map (sprintf "%A") >> String.concat newline
  
      let onStartFixtureToString (t:Type) =
          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
                          | []  -> 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%s" (pluralize l.Count) (labels_to_string l) newline
              else
                  String.Empty
          let name = if String.IsNullOrEmpty(name) then String.Empty else (name+"-")  
  