load PLT contractions - Githubissues

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

https://dwango.github.io/fialyzer/

Apache License 2.0

56 stars 8 forks source link

Closed yoshihiro503 closed 5 years ago

yoshihiro503 commented 5 years ago

Load type signatures of libraries from PLT file using --plt option.

yoshihiro503 commented 5 years ago

fix by #202