anchor.diff:        Format = "Done at ~s (Exit status: ~p)~n  Summary: ",
         Args = [FinishTimestamp, ExitStatus],
         to_file(Output, Format, Args),
  -      IntMsg = final_interleavings_message(State),
  +      IntMsg = final_interleavings_message(NewState),
         to_file(Output, "~s", [IntMsg]),
  -      ok = close_files(State),
  +      ok = close_files(NewState),
         case Verbosity =:= ?lquiet of
           true -> ok;
           false ->
             FinalFormat = Format ++ IntMsg,
  -          printout(State#logger_state{ticker = none}, FinalFormat, Args)
  +          printout(NewState, FinalFormat, Args)
         end,
         Scheduler ! {finished, ExitStatus},
         ok;
  
positive.code:     0 -> ok
    end.
  
  stop_ticker(Ticker) ->
    case is_pid(Ticker) of
      true ->
        Ticker ! {stop, self()},
        progress_clear(),
        receive
          stopped -> ok
        end;
      false -> ok
    end.
  
  %%------------------------------------------------------------------------------
  
negative.code:   io_lib:format("~2..0w ~s ~4w ~2..0w:~2..0w:~2..0w",
                  [Day, Mstr, Year, Hour, Minute, Second]).
  
  printout(#logger_state{ticker = Ticker} = State, Format, Data)
    when Ticker =/= none ->
    progress_clear(),
  