anchor.diff:    end.
   
   initialize(Options) ->
  -  [{Output, OutputName}, SymbolicNames, Processes] =
  -    get_properties([output, symbolic_names, processes], Options),
  +  Timestamp = format_utc_timestamp(),
  +  [{Output, OutputName}, SymbolicNames, Processes, Verbosity] =
  +    get_properties([output, symbolic_names, processes, verbosity], Options),
     concuerror_loader:register_logger(self()),
     ok = setup_symbolic_names(SymbolicNames, Processes),
     PrintableOptions =
  
positive.code:   ok.
  
  %%------------------------------------------------------------------------------
  
  loop_entry(State) ->
    #logger_state{output_name = OutputName, verbosity = Verbosity} = State,
    Ticker =
      case (Verbosity =:= ?lquiet) orelse (Verbosity >= ?ldebug) of
        true -> none;
        false ->
          Timestamp = format_utc_timestamp(),
          to_stderr("Concuerror started at ~s~n", [Timestamp]),
          to_stderr("Writing results in ~s~n~n~n", [OutputName]),
          Self = self(),
          spawn_link(fun() -> ticker(Self) end)
      end,
    loop(State#logger_state{ticker = Ticker}).
  
  loop(State) ->
    receive
  
negative.code:         end,
        separator(Output, $#),
        print_log_msgs(Output, LogMsgs),
        FinishTimestamp = format_utc_timestamp(),
        Format = "Done at ~s (Exit status: ~p)~n  Summary: ",
        Args = [FinishTimestamp, ExitStatus],
        io:format(Output, Format, Args),
        IntMsg = interleavings_message(State),
        io:format(Output, "~s", [IntMsg]),
        ok = file:close(Output),
        ok = graph_close(State),
        case Verbosity =:= ?lquiet of
          true -> ok;
          false ->
            printout(State#logger_state{ticker = show}, Format, Args)
        end,
        Scheduler ! {finished, ExitStatus},
        ok;
  