anchor.diff:  -module(concuerror).
   
   %% UI exports.
  --export([gui/1, cli/0, analyze/1, stop/0]).
  +-export([gui/1, cli/0, analyze/1, export/2, stop/0]).
   %% Log server callback exports.
   -export([init/1, terminate/2, handle_event/2]).
   
  
positive.code:     %% Start the analysis
      sched:analyze(Target, Files, AnalysisOptions).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% Show details about each ticket
  showDetails(false, {I, Ticket}) ->
      Error = ticket:get_error(Ticket),
      io:format("~p\t~s: ~s\n", [I, error:type(Error), error:short(Error)]);
  showDetails(true, {I, Ticket}) ->
      Error = ticket:get_error(Ticket),
      io:format("~p\n~s\n", [I, error:long(Error)]),
      %% Disable log event handler while replaying.
      Details = sched:replay(Ticket),
      lists:foreach(fun(Detail) ->
                  D = proc_action:to_string(Detail),
                  io:format("  ~s\n", [D]) end,
          Details),
      io:format("\n\n").
  
  
  
  %%%----------------------------------------------------------------------
  
negative.code:                 Msg2 = "no input files specified",
                  {'error', 'arguments', Msg2}
          end,
      %% Set include dirs
      Include =
          case lists:keyfind(include, 1, Options) of
  