anchor.diff:       "  -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"
  +     "  --no-progress           Disable progress bar\n"
        "\n"
        "Show options:\n"
        "  --snapshot   file       Specify input (snapshot) file\n"
  
positive.code:         end,
      %% Start the log manager and attach the event handler below.
      _ = log:start(),
      _ = log:attach(?MODULE, []),
      %% Load snapshot
      snapshot:cleanup(),
      case snapshot:import(File) of
  
negative.code:         false ->
              {ok, State}
      end;
  handle_event({progress_log, _Remain}, no_progress) ->
      {ok, no_progress};
  handle_event({progress_swap, NewTotal}, {Bound,_Progress,_Total}) ->
      %% Clear last two lines from screen
      io:format("\r\033[K\033[1A\033[K"),
      NewBound = Bound+1,
      io:format("Preemption: ~p\n", [NewBound]),
      {ok, {NewBound,0,NewTotal}};
  handle_event({progress_swap, _NewTotal}, no_progress) ->
      {ok, no_progress}.
  
  progress_bar(PerCent) ->
      Bar = string:chars($=, PerCent div 2, ">"),
  