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:     "Load a specific file",
      "Explicitly load a file (.beam or .erl). Source (.erl) files should not"
      " require any special command line compile options. Use a .beam file if"
      " special compilation is needed."}
    ,{depth_bound, $d, {integer, 5000},
      "Maximum number of events",
      "The maximum number of events allowed in an interleaving. Concuerror will"
      " stop exploration beyond this limit."}
    ,{interleaving_bound, $i, {integer, infinity},
      "Maximum number of interleavings",
      "The maximum number of interleavings that will be explored. Concuerror will"
  
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! :-)"}
  