[erlang-questions] dialyzer from R16A (from git), problem to remove deleted beam file

[Andreas Schultz]

Hi,

I have a plt files generate with dialyzer from R16A(git). That
plt file includes an app where one of the beam files has been
remove later. Any attempt to update that plt file fails with:

dialyzer: Not a regular file: /usr/src/erlang/app/ebin/removed.beam

I tried --check_plt, --remove_from_plt and add_to_plt, all with
the same result. Only after creating an empty file with the name,
dialyzer managed to update the plt.

Is that expected behavior?

Andreas

-- 
-- 
Dipl. Inform.
Andreas Schultz

email: as@REDACTED