CODEWITHSUNDEEP
erlangdialyzer
Ivan Uemlianin
Ivan Uemlianin

Reputation: 1037

Running dialyzer on an application: should I add the dependencies to the PLT?

I have an erlang application with sub-applications in apps/ and dependencies in deps/. Running dialyzer on one of the sub-apps, e.g.:

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

works, but lists as "unknown functions" various functions from applications in deps.

So, should I add the deps applications to the plt, or should I trust their authors to have done their own testing?

I can think of reasonable arguments for either:

Upvotes: 1

Views: 659

Answers (1)

Peer Stritzinger
Peer Stritzinger

Reputation: 8372

Adding the dependencies to the plt gives dialyzer information about the dependencies.

It won't add anything wrong about the dependencies.

Alternatively you could pass your app with all dependencies to dialyzer, but this would repeatedly re-check the deps without any additional gain.

Upvotes: 2

Related Questions