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:     rebar_state:set(State, plt, Plt).
  
  update_plt(State, Apps, Deps) ->
      ?INFO("Updating plt...", []),
      Files = get_plt_files(State, Apps, Deps),
      case read_plt(State) of
  
negative.code:         Warning2 ->
              Warning2
      end.
  default_warnings() ->
      [error_handling,
       unmatched_returns,
  