anchor.diff:        Format = "Done at ~s (Exit status: ~p)~n  Summary: ",
         Args = [FinishTimestamp, ExitStatus],
         to_file(Output, Format, Args),
  -      IntMsg = interleavings_message(State),
  +      IntMsg = final_interleavings_message(State),
         to_file(Output, "~s", [IntMsg]),
         ok = close_files(State),
         case Verbosity =:= ?lquiet of
           true -> ok;
           false ->
  -          force_printout(State, Format, Args)
  +          FinalFormat = Format ++ IntMsg,
  +          force_printout(State, FinalFormat, Args)
         end,
         Scheduler ! {finished, ExitStatus},
         ok;
  
positive.code:                 [Day, Mstr, Year, Hour, Minute, Second]).
  
  force_printout(State, Format, Data) ->
    printout(State#logger_state{ticker = show}, Format, Data).
  
  printout(#logger_state{ticker = Ticker} = State, Format, Data)
    when Ticker =/= none ->
    IntMsg = interleavings_message(State),
    clear_progress(),
    to_stderr(Format, Data),
    to_stderr("~s", [IntMsg]);
  printout(_, Format, Data) ->
    to_stderr(Format, Data).
  
  
negative.code:     _ -> ""
    end.
  
  %%------------------------------------------------------------------------------
  
  ticker(Logger) ->
    Logger ! tick,
    receive
      {stop, L} -> L ! stopped
    after
      ?TICKER_TIMEOUT -> ticker(Logger)
    end.
  