Dialyzer: report call to undefined function
Mon May 22 07:15:56 CEST 2006
On 2006-05-20 13:01, Tobias Lindahl wrote:
> where Dialyzer can run in the background. We have been playing with the
> idea of keeping checksums for modules and pruning the plt based on this.
> In conjunction with keeping plt:s for subsystems and keeping track of
> dependencies, we shoud be able to squeeze the times quite a bit, but it
i thought that happens when setting DIALYZER_INIT_PLT to
$dialyzer_home/plt/dialyzer_otp_plt, and starting like this, the first time:
dialyzer --new_plt $plt_file
then always afterwards use:
dialyzer --init_plt $plt_file --new_plt $plt_file
how does the above work otherwise?
More information about the erlang-questions