anchor.diff:  
     member this.PrintSummaryAsync(count: AssertionCount) =
       async {
  -      do! printSeparatorAsync ()
  +      do! printHardSeparatorAsync ()
         let message =
           sprintf "Total: %d, Violated: %d, Error: %d"
             count.TotalCount
  
positive.code: type TestPrinter(writer: TextWriter, width: int) =
    let printer = StructuralTextWriter(writer)
  
    let printSeparatorAsync () =
      printer.WriteLineAsync(String.replicate (width - printer.IndentLength) "-")
  
    let printExceptionAsync source (e: exn) =
      async {
  
negative.code:   let printTestMethodAsync i (testMethod: TestMethod) =
      async {
        if testMethod |> TestMethod.isPassed |> not then
          do! printSoftSeparatorAsync ()
          do! printer.WriteLineAsync(sprintf "Method: %s" testMethod.MethodName)
          use indenting = printer.AddIndent()
          for (i, test) in testMethod.Result.Tests |> Seq.indexed do
  