summaryrefslogtreecommitdiff
path: root/src/rebar_prv_dialyzer.erl
Commit message (Collapse)AuthorAgeFilesLines
...
* Add options to skip updating plt or success typingJames Fish2014-11-201-2/+21
| | | | | * --update-plt=true|false (false skips updating plt) * --succ-typings=true|false (false skips success typing analysis)
* Improve default dialyzer PLT by trying to guess dependenciesJames Fish2014-11-201-11/+51
| | | | | | | | | | Try to automatically detect all application dependencies when `plt_apps` is not included in `rebar.config`. Note that this will not follow `runtime_dependencies` in OTP applications. This can be resolved by adding any missing `runtime_dependencies` to `applications` in the .app.src file or including `plt_apps` in `rebar.config`.
* Improve formatting of dialyzer errorsJames Fish2014-11-201-1/+9
| | | | Strip ":0: " from unknown type/function/behaviour warnings
* Refactor dialyzer PLT useJames Fish2014-11-201-45/+164
| | | | | | * Only include `plt_apps` (defaults to deps) in a single PLT * Update PLT when `plt_apps` (or deps) are changed or updated * Print warnings for all dialyzer runs (not just `succ_typings`)
* Fix default dialyzer warningsJames Fish2014-11-201-9/+1
| | | | | | | * Nolonger supress standard warnings * Nolonger include race_conditions by default[1] [1] http://erlang.org/pipermail/erlang-bugs/2014-July/004518.html
* move back to using format_error/1Tristan Sloughter2014-11-091-6/+6
|
* add deps pltTristan Sloughter2014-11-091-6/+8
|
* strip newline from end of dialyzer format warningsTristan Sloughter2014-11-081-1/+2
|
* add dialyzer providerTristan Sloughter2014-11-081-0/+105