anchor.diff:                  parse(Args, Options);
   
           Other ->
  -            Msg = io_lib:format("unrecognised concuerror flag: ~p", [Other]),
  +            Msg = io_lib:format("unrecognised concuerror flag: -~s", [Other]),
               {'error', 'arguments', Msg}
       end.
   
  
positive.code:                             {output, O} -> O;
                              false -> ?EXPORT_FILE
                          end,
                      case exportAux(Result, Output) of
                          {'error', Msg2} ->
                              io:format("~s: ~s\n",
                                  [?APP_STRING, file:format_error(Msg2)]);
                          ok -> continue
                      end
              end
      end,
  
negative.code: -spec export(sched:analysis_ret(), file:filename()) ->
      'ok' | {'error', file:posix() | badarg | system_limit}.
  export(Results, File) ->
      case file:open(File, ['write']) of
          {ok, IoDevice} ->
              exportAux(Results, IoDevice),
              file:close(IoDevice);
          Error -> Error
      end.
  
  exportAux({'ok', {_Target, RunCount}}, IoDevice) ->
      Msg = io_lib:format("Checked ~w interleaving(s). No errors found.\n",
          [RunCount]),
      file:write(IoDevice, Msg);
  exportAux({error, instr, {_Target, _RunCount}}, IoDevice) ->
      Msg = "Instrumentation error.\n",
      file:write(IoDevice, Msg);
  exportAux({error, analysis, {_Target, RunCount}, Tickets}, IoDevice) ->
      TickLen = length(Tickets),
      Msg1 = io_lib:format("Checked ~w interleaving(s). ~w errors found.\n\n",
          [RunCount, TickLen]),
  