Closed jlouis closed 10 years ago
The build-plt target will build a local PLT you can use with the project. The dialyze target runs the dialyzer on the source code.
build-plt
dialyze
This should be a no-brainer to add. Will help going forward so we can make sure we are nailing the dialyzer specs down for the project.
The
build-plt
target will build a local PLT you can use with the project. Thedialyze
target runs the dialyzer on the source code.