anchor.diff:       "  -I          include_dir Pass the include_dir to concuerror\n"
        "\n"
        "Show options:\n"
  -     "  -s|--snapshot  file     Specify input (snapshot) file\n"
  -     "  -n   from..to           Specify which errors we want (default -all)\n"
  +     "  --snapshot   file       Specify input (snapshot) file\n"
  +     "  -n           from..to   Specify which errors we want (default -all)\n"
        "  --all                   Show all errors\n"
        "  -d|--details            Show details about each error\n"
        "\n"
  
positive.code: -type options() ::
      [ {'target',  sched:analysis_target()}
      | {'files',   [file()]}
      | {'output',  file()}
      | {'include', [file()]}
      | {'preb',    sched:bound()}
      | {'number', [pos_integer() | {pos_integer(), pos_integer()|'end'}]}
  
negative.code:         end,
      %% Set output file
      Output =
          case lists:keyfind(snapshot, 1, Options) of
              {snapshot, O} -> O;
              false -> "results.ced"
          end,
      %% Set include dirs
  