This command:<div><br></div><div><font size="2" face="sans-serif" style="color: rgb(34, 34, 34); "> ${prefix}/bin/dialyzer --plt ${prefix}/Erlang-R14B03.plt  --output_plt ./common.plt  src/utils/basic_utils.beam  --build_plt</font><span style="color: rgb(34, 34, 34); "> </span><br style="color: rgb(34, 34, 34); "></div><div><span style="color: rgb(34, 34, 34); "><br></span></div><div><span style="color: rgb(34, 34, 34); ">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).</span></div><div><span style="color: rgb(34, 34, 34); "><br></span></div><div><span style="color: rgb(34, 34, 34); ">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.</span></div><div><span style="color: rgb(34, 34, 34); "><br></span></div><div><span style="color: rgb(34, 34, 34); ">Stavros</span></div>