anchor.diff:  
   do_update_proj_plt(State, Plt, Output) ->
       ?INFO("Updating plt...", []),
  -    {Files, Warnings} = proj_plt_files(State),
  -    Warnings2 = format_warnings(Output, Warnings),
  -    {Warnings3, State2} = case read_plt(State, Plt) of
  -                              {ok, OldFiles} ->
  -                                  check_plt(State, Plt, Output, OldFiles,
  -                                            Files);
  -                              {error, no_such_file} ->
  -                                  build_proj_plt(State, Plt, Output, Files)
  -                          end,
  -    {Warnings2 + Warnings3, State2}.
  +    Files = proj_plt_files(State),
  +    case read_plt(State, Plt) of
  +        {ok, OldFiles} ->
  +            check_plt(State, Plt, Output, OldFiles, Files);
  +        {error, no_such_file} ->
  +            build_proj_plt(State, Plt, Output, Files)
  +    end.
   
   proj_plt_files(State) ->
       BasePltApps = rebar_state:get(State, dialyzer_base_plt_apps,
  
positive.code:             ?PRV_ERROR({error_processing_apps, Error});
          throw:{dialyzer_warnings, Warnings} ->
              ?PRV_ERROR({dialyzer_warnings, Warnings});
          throw:{output_file_error, _, _} = Error ->
              ?PRV_ERROR(Error)
      after
  
negative.code: 
  succ_typings(State, Plt, Output, Apps) ->
      ?INFO("Doing success typing analysis...", []),
      Files = apps_to_files(Apps),
      ?INFO("Analyzing ~b files with ~p...", [length(Files), Plt]),
      Opts = [{analysis_type, succ_typings},
              {get_warnings, true},
              {from, byte_code},
              {files, Files},
              {init_plt, Plt}],
      run_dialyzer(State, Opts, Output).
  
  apps_to_files(Apps) ->
      ?INFO("Resolving files...", []),
      [File || App <- Apps,
               File <- app_to_files(App)].
  
  app_to_files(App) ->
      AppName = ec_cnv:to_atom(rebar_app_info:name(App)),
      app_files(AppName).
  
  run_dialyzer(State, Opts, Output) ->
      %% dialyzer may return callgraph warnings when get_warnings is false
  