dialyzer -- persisting an initial plt combined from many disjoint plts
With dialyzer, it's possible to incrementally join persisted plts. That
is: to persist an initial plt created from an existing plt using the
--add_to_plt and --plt options, then use that persisted initial plt for
analysis like so...
Usefully, it's also possible to use disjoint plts directly. That is: to
analyze a program using a non-persisted initial plt combined from many
disjoint persisted plts using the --plts option like so...