diff options
author | José Valim <[email protected]> | 2018-02-19 00:44:52 +0100 |
---|---|---|
committer | José Valim <[email protected]> | 2018-02-21 16:34:33 +0100 |
commit | 0018bf63fcce35f6704cff5c34d398b32706fd75 (patch) | |
tree | b7e0d96976e2141229a9360114ffc206015ddb2e /lib/tools/test/Makefile | |
parent | 8f93219117d3c553500d7e55f1ec65cab3e1c3e0 (diff) | |
download | otp-0018bf63fcce35f6704cff5c34d398b32706fd75.tar.gz otp-0018bf63fcce35f6704cff5c34d398b32706fd75.tar.bz2 otp-0018bf63fcce35f6704cff5c34d398b32706fd75.zip |
Compute MD5s in dialyzer using the .beam file
The previous mechanism was based on the core file which
meant that for every module in the PLT, we had to fetch
its .beam file, retrieve Erlang AST, compile that down
to core, serialize it into a binary and then get its MD5.
In a project with stdlib, kernel, elixir and a small
application in the PLT, relying only on the .beam sped
up --check_plt from 10s to 0.8s.
Diffstat (limited to 'lib/tools/test/Makefile')
0 files changed, 0 insertions, 0 deletions