anchor.diff:      {0, State};
   succ_typings_(State, Plt, Output, Files) ->
       ?INFO("Analyzing ~b files with ~ts...", [length(Files), rebar_dir:format_source_file_name(Plt)]),
  +    OutputFormat = get_config(State, output_format, formatted),
       Opts = [{analysis_type, succ_typings},
               {get_warnings, true},
  +            {output_format, OutputFormat},
               {from, byte_code},
               {files, Files},
               {init_plt, Plt}],
  
positive.code: 
  run_plt(State, Plt, Output, Analysis, Files) ->
      GetWarnings = get_config(State, get_warnings, false),
      Opts = [{analysis_type, Analysis},
              {get_warnings, GetWarnings},
              {init_plt, Plt},
              {output_plt, Plt},
              {from, byte_code},
  
negative.code:                      {timing, Timing} |
                       Opts],
              ?DEBUG("Running dialyzer with options: ~p~n", [Opts2]),
              Warnings = format_warnings(State, Output, dialyzer:run(Opts2)),
              {Warnings, State};
          false ->
              Opts2 = [{warnings, no_warnings()},
  