anchor.diff:      _ ->
         UndefinedEntryPoint =
           "The module containing the main test function has not been specified."
  -        " Use '-m <module>' or '-h module' for more info.",
  +        " Add '-m <module>' or use '-h module' for more info.",
         opt_error(UndefinedEntryPoint)
     end.
   
  
positive.code:    }
    ,{quiet, $q, undefined,
      "Do not write anything to stderr",
      "Equivalent to -v 0."}
    ,{output, $o, {string, "concuerror_report.txt"},
      "Output file",
      "This is where Concuerror writes the results of the analysis."}
    ,{graph, undefined, string,
      "Produce a DOT graph in the specified file",
      "The graph can be drawn with 'dot -Tsvg -o graph.svg <graph>"}
    ,{symbolic_names, $s, {boolean, true},
      "Symbolic PIDs in graph/log",
      "Use symbolic names for process identifiers in the output report."}
    ,{print_depth, undefined, {integer, ?DEFAULT_PRINT_DEPTH},
      "Print depth for log/graph",
      "Specifies the max depth for any terms printed in the log (behaves just as"
      " the extra argument of ~~W and ~~P argument of io:format/3. If you want"
      " more info about a particular piece of data consider using"
      " erlang:display/1 and check the standard output section instead."}
    ,{show_races, undefined, {boolean, false},
      "Mark races in log/graph",
      "Determines whether information about pairs of racing instructions will be"
      " included in the graph and the logs of erroneous interleavings."}
    ,{pa, undefined, string,
      "Add directory to Erlang's code path (front)",
      "Works exactly like 'erl -pa'."}
  
negative.code:   ,{test, $t, {atom, test},
      "Test function",
      "This must be a 0-arity function located in the module specified by '-m'."
      " Concuerror will start the test by spawning a process that calls this"
      " function."}
    ,{help, $h, atom,
      "Display help (can also be used as '-h <option>')",
      "You already know how to use this option! :-)"}
  