[erlang-questions] Dialyzer programmatic interface and output_plt

Eric Merritt <>
Thu May 8 09:06:41 CEST 2008

>  > >
>  >
>  >  For me the option {output_plt, File} works. I tested it with the released
>  > sytem (R12B-2) and it seems to work there too. Is there a small test case
>  > that you can send me?
>  I will see if I can put together a simple test case for you. At the
>  very least I can verify that its not my issue.

So I have confirmed that with the following options no actual plt file
is generated though the generation runs without fault. If I use a
simpler set of options a plt file does result. I am not sure what the
difference is. It does take over an hour to run on this though.
(replace <root-dir> and <some-other-dir> with real directories, of

Opts = [{files_rec,["<root-dir>/repo/ktuo-",

However, If i do something trivial like

Opts = [{files_rec,["<root-dir>/repo/ktuo-"]},

A plt file is output as expected.

I have started going through and trying to see when dialyzer falls
over but its slow enough that its going to take me awhile.

More information about the erlang-questions mailing list