anchor.diff:  -spec init(term()) -> {'ok', state()}.
   
   %% @doc: Initialize the event handler.
  -init(_Env) -> {ok, {0,0,1}}.
  +init(Options) ->
  +    case lists:keyfind(no_progress, 1, Options) of
  +        {no_progress} -> {ok, no_progress};
  +        false -> {ok, {0,0,1}}
  +    end.
   
   -spec terminate(term(), state()) -> 'ok'.
   terminate(_Reason, _State) -> ok.
  
positive.code:      "  -o|--output file        Specify the output file (default results.ced)\n"
       "  -p|--preb   number|inf  Set preemption bound (default is 2)\n"
       "  -I          include_dir Pass the include_dir to concuerror\n"
       "\n"
       "Show options:\n"
       "  --snapshot   file       Specify input (snapshot) file\n"
  
negative.code:     %% Disable log event handler while replaying.
      _ = log:detach(?MODULE, []),
      Details = sched:replay(T),
      _ = log:attach(?MODULE, [{no_progress}]),
      lists:foreach(fun(Detail) ->
                  D1 = proc_action:to_string(Detail),
                  D2 = io_lib:format("  ~s\n", [D1]),
  