anchor.diff:              print_streams([S || S = {T, _} <- Streams, T =/= race], Output),
               to_file(Output, "Event trace:~n", []),
               concuerror_io_lib:pretty(Output, TraceInfo, PrintDepth),
  -            print_streams([S || S = {T, _} <- Streams, T =:= race], Output),
               ErrorString =
                 case proplists:get_value(fatal, Warnings) of
                   true -> " (Concuerror crashed)";
  
positive.code:     false -> ok
    end.
  
  tag_to_filename(standard_io) -> "Standard Output";
  tag_to_filename(standard_error) -> "Standard Error";
  tag_to_filename(race) ->
    separator_string($-) ++
      "~nNew races found";
  tag_to_filename(Filename) when is_list(Filename) ->
    io_lib:format("Text printed to ~s", [Filename]).
  
  interleavings_message(State) ->
    #logger_state{
  
negative.code:   orddict:fold(Fold, ok, Streams).
  
  print_stream(Tag, Buffer, Output) ->
    to_file(Output, stream_tag_to_string(Tag), []),
    to_file(Output, "~s~n", [Buffer]),
    case Tag =/= race of
      true ->
  