anchor.diff:    ,{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."}
  +    " 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! :-)"}
  
positive.code:   ,{verbosity, $v, integer,
      io_lib:format("Sets the verbosity level (0-~w). [default: ~w]",
                    [?MAX_VERBOSITY, ?DEFAULT_VERBOSITY]),
      "Verbosity decides what is shown on stderr. Messages up to info are~n"
      "always also shown in the output file. The available levels are the~n"
      "following:~n~n"
      "0 <quiet> Nothing is printed (equivalent to -q)~n"
      "1 <error> Critical, resulting in early termination~n"
      "2 <warn>  Non-critical, notifying about weak support for a feature or~n"
  
negative.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 (preferably compiled with +debug_info)."}
    ,{depth_bound, $d, {integer, 5000},
      "Maximum number of events",
      "The maximum number of events allowed in an interleaving. Concuerror will"
      " stop exploring an interleaving that has events beyond this limit."}
    ,{interleaving_bound, $i, {integer, infinity},
      "Maximum number of interleavings",
      "The maximum number of interleavings that will be explored. Concuerror will"
  