anchor.diff:      end,
       ok.
   
  -%% @spec gui() -> 'true'
  +%% @spec gui(options()) -> 'true'
   %% @doc: Start the CED GUI.
  --spec gui() -> 'true'.
  -gui() ->
  +-spec gui(options()) -> 'true'.
  +gui(_Options) ->
       %% Disable error logging messages.
       ?tty(),
       gui:start().
  
positive.code: -module(concuerror).
  
  %% UI exports.
  -export([gui/0, cli/0, analyze/1, show/1, stop/0]).
  %% Log server callback exports.
  -export([init/1, terminate/2, handle_event/2]).
  
  
negative.code:         end,
      %% Create analysis_options
      AnalysisOptions = [{preb, Preb}, {include, Include}],
      %% Start the analysis
      sched:analyze(Target, Files, AnalysisOptions).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% Show details about each ticket
  showDetails(false, {I, Ticket}) ->
  