anchor.diff:      io_lib:format("Error in dialyzing apps: ~s", [Error]);
   format_error({dialyzer_warnings, Warnings}) ->
       io_lib:format("Warnings occured running dialyzer: ~b", [Warnings]);
  +format_error({unknown_application, App}) ->
  +    io_lib:format("Could not find application: ~s", [App]);
   format_error({output_file_error, File, Error}) ->
       Error1 = file:format_error(Error),
       io_lib:format("Failed to write to ~s: ~s", [File, Error1]);
  
positive.code: 
  get_plt_files(DepApps, Apps) ->
      ?INFO("Resolving files...", []),
      get_plt_files(DepApps, Apps, [], [], []).
  
  get_plt_files([], _, _, Files, Warnings) ->
      {Files, Warnings};
  get_plt_files([AppName | DepApps], Apps, PltApps, Files, Warnings) ->
      case lists:member(AppName, PltApps) orelse app_member(AppName, Apps) of
          true ->
              get_plt_files(DepApps, Apps, PltApps, Files, Warnings);
          false ->
              {DepApps2, Files2, Warnings2} = app_name_to_info(AppName),
              ?DEBUG("~s dependencies: ~p", [AppName, DepApps2]),
              ?DEBUG("~s files: ~p", [AppName, Files2]),
              DepApps3 = DepApps2 ++ DepApps,
              PltApps2 = [AppName | PltApps],
              Files3 = Files2 ++ Files,
              Warnings3 = Warnings2 ++ Warnings,
              get_plt_files(DepApps3, Apps, PltApps2, Files3, Warnings3)
      end.
  
  app_member(AppName, Apps) ->
  
negative.code:             false
      end.
  
  app_files(AppName) ->
      case app_ebin(AppName) of
          {ok, EbinDir} ->
              ebin_files(EbinDir);
          {error, bad_name} ->
              throw({unknown_application, AppName})
      end.
  
  app_ebin(AppName) ->
      case code:lib_dir(AppName, ebin) of
          {error, bad_name} = Error ->
              Error;
          EbinDir ->
              check_ebin(EbinDir)
      end.
  
  check_ebin(EbinDir) ->
      case filelib:is_dir(EbinDir) of
          true ->
              {ok, EbinDir};
          false ->
              {error, bad_name}
      end.
  
  ebin_files(EbinDir) ->
  