[erlang-questions] Dialyzer PLT & unknown Erlang/OTP functions

Stavros Aronis <>
Mon Aug 29 19:43:13 CEST 2011


This command:

 ${prefix}/bin/dialyzer --plt ${prefix}/Erlang-R14B03.plt  --output_plt 
./common.plt  src/utils/basic_utils.beam  --build_plt 

is wrong. You should not pass the --build_plt option again, as it will make 
Dialyzer generate everything from scratch (ignoring anything within the 
supplied PLT).

To add some of your own code to the PLT use the --add_to_plt option instead, 
after you have the initial with the OTP modules. In this way Dialyzer will 
use the supplied PLT to generate a new one with all the old and new 
information.

Stavros
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20110829/3872b42b/attachment.html>


More information about the erlang-questions mailing list