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:     %% which separates erlang from concuerror options
      Pred = fun(P) -> {concuerror_options, []} /= P end,
      [_ | Args2] = lists:dropwhile(Pred, Args1),
      Res =
          %% There should be no plain_arguments
          case init:get_plain_arguments() of
              [] -> Options = parse(Args2, []), cliAux(Options);
              [Arg|_] ->
                  Msg = io_lib:format("unrecognised argument: ~s", [Arg]),
                  {'error', 'arguments', Msg}
          end,
      Res,
      true.
  
  cliAux(Options) ->
      case lists:keyfind('gui', 1, Options) of
  
negative.code:                 Msg2 = "no input files specified",
                  {'error', 'arguments', Msg2}
          end,
      %% Set include dirs
      Include =
          case lists:keyfind(include, 1, Options) of
  