Запуск диализатора в приложении: я должен добавить зависимости к PLT?

Question

Запуск диализатора в приложении: я должен добавить зависимости к PLT?

У меня есть приложение erlang с вложенными приложениями в приложениях / и зависимостями в deps/. Запуск диализатора в одном из подпрограмм, например:

$ dialyzer -r apps/app1/src --src

работает, но перечисляет как "неизвестные функции" различные функции из приложений в deps.

Итак, я должен добавить приложения deps в plt, или я должен доверять их авторам, которые провели их собственное тестирование?

Я могу придумать разумные аргументы для:

может найти ошибки ниже по течению;
будет забивать прояснение моего собственного кода.

1

erlang dialyzer

Источник

user1774314 10 июл '13 в 08:29

1 ответ

Решение

Другие вопросы по тегам erlang dialyzer

user364327 11 июл '13 в 21:12 2013-07-11 21:12 · Accepted Answer · 2013-07-11 21:12

Добавление зависимостей в plt дает диализатору информацию о зависимостях.

Это не добавит ничего плохого в зависимости.

В качестве альтернативы вы можете передать свое приложение со всеми зависимостями на диализатор, но это будет повторно проверять deps без какого-либо дополнительного усиления.