Dialyzer: report call to undefined function

[Bengt Kleberg]

On 2006-05-20 13:01, Tobias Lindahl wrote:
...deleted
> 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?


bengt