diff options
author | Hans Bolinder <[email protected]> | 2016-12-06 14:02:12 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-01-11 09:34:58 +0100 |
commit | 57e21970a394193e929795629fe5c3cd15310660 (patch) | |
tree | b8c159a8157b7dd5996a190b8e3b27a3e70f04de /lib/dialyzer/src/dialyzer_callgraph.erl | |
parent | 605a4627a7383829559a1595457b860c1317da48 (diff) | |
download | otp-57e21970a394193e929795629fe5c3cd15310660.tar.gz otp-57e21970a394193e929795629fe5c3cd15310660.tar.bz2 otp-57e21970a394193e929795629fe5c3cd15310660.zip |
dialyzer: Do not send full PLTs as messages
The mini PLT is extended to hold all data of the full PLT, and the
full PLT is restored when needed (for storing the PLT on file).
Diffstat (limited to 'lib/dialyzer/src/dialyzer_callgraph.erl')
0 files changed, 0 insertions, 0 deletions