anchor.diff:  
   %% @spec analyze(options()) -> 'true'
   %% @doc: Run Concuerror analysis with the given options.
  --spec analyze(options()) -> 'true'.
  +-spec analyze(options()) -> analysis_ret().
   analyze(Options) ->
       %% Disable error logging messages.
       ?tty(),
  +    %% Start the log manager.
  +    _ = log:start(),
  +    Res = analyzeAux(Options),
  +    %% Stop event handler
  +    log:stop(),
  +    Res.
  +
  +analyzeAux(Options) ->
       %% Get target
       Target =
           case lists:keyfind(target, 1, Options) of
               {target, T} -> T;
               false ->
  -                io:format("~s: no target specified\n", [?APP_STRING]),
  -                init:stop(1)
  +                Msg1 = "no target specified",
  +                {'error', 'arguments', Msg1}
           end,
       %% Get input files
       Files =
           case lists:keyfind(files, 1, Options) of
               {files, F} -> F;
               false ->
  -                io:format("~s: no input files specified\n", [?APP_STRING]),
  -                init:stop(1)
  +                Msg2 = "no input files specified",
  +                {'error', 'arguments', Msg2}
           end,
       %% Set output file
       Output =
  -        case lists:keyfind(snapshot, 1, Options) of
  -            {snapshot, O} -> O;
  -            false -> "results.ced"
  +        case lists:keyfind(output, 1, Options) of
  +            {output, O} -> O;
  +            false -> "results.txt"
           end,
       %% Set include dirs
  -    %% XXX: We have to actually use it
       Include =
           case lists:keyfind(include, 1, Options) of
               {include, I} -> I;
  
positive.code:     end,
      ok.
  
  %% @spec gui() -> 'true'
  %% @doc: Start the CED GUI.
  -spec gui() -> 'true'.
  gui() ->
      %% Disable error logging messages.
      ?tty(),
      gui:start().
  
negative.code: %%%----------------------------------------------------------------------
  %%% Types
  %%%----------------------------------------------------------------------
  
  -type analysis_ret() ::
        sched:analysis_ret()
      | {'ok', 'gui'}
      | {'error', 'arguments', string()}.
  
  %% Log event handler internal state.
  %% The state (if we want have progress bar) contains
  