search

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56 stars 8 forks source link

blackbox tests with PLT #116

Open amutake opened 5 years ago

amutake commented 5 years ago

Currently, it cannot specify PLT file to run blackbox-tests. We have to make it possible to specify PLT file because PLT is needed to test various codes.