anchor.diff:      run_dialyzer(State, Opts).
   
   succ_typings(State, Apps) ->
  +    {Args, _} = rebar_state:command_parsed_args(State),
  +    case proplists:get_value(succ_typings, Args) of
  +        false ->
  +            {ok, State};
  +        _ ->
  +            do_succ_typings(State, Apps)
  +    end.
  +
  +do_succ_typings(State, Apps) ->
       ?INFO("Doing success typing analysis...", []),
       Files = apps_to_files(Apps),
       Plt = rebar_state:get(State, plt),
  
positive.code:                                                                {example, "rebar dialyzer"},
                                                                 {short_desc, "Run the Dialyzer analyzer on the project."},
                                                                 {desc, ""},
                                                                 {opts, []}])),
      {ok, State1}.
  
  -spec do(rebar_state:t()) -> {ok, rebar_state:t()} | {error, string()}.
  
negative.code:         Warning2 ->
              Warning2
      end.
  default_warnings() ->
      [error_handling,
       unmatched_returns,
  