aboutsummaryrefslogtreecommitdiffstats
path: root/bootstrap/bin
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2016-11-17 16:21:38 +0100
committerKostis Sagonas <[email protected]>2016-11-17 18:38:08 +0100
commit9e06884c3a7db73567a26f63c94f5a4e21874f73 (patch)
tree1eeb2c189cf5dada1f99649eced53077fd88fec7 /bootstrap/bin
parent67d73aaab491792359959b48935213b530146811 (diff)
downloadotp-9e06884c3a7db73567a26f63c94f5a4e21874f73.tar.gz
otp-9e06884c3a7db73567a26f63c94f5a4e21874f73.tar.bz2
otp-9e06884c3a7db73567a26f63c94f5a4e21874f73.zip
Run dialyzer as part of the travis script
Build a dialyzer PLT and use it to analyze all OTP applications that can currently be analyzed without warnings even when the option -Wunmatched_returns is turned on. Note that the dialyzer run does _not_ enable the option which allows for improper lists. Applications to run dialyzer on are mentioned alphabetically. As more applications are fixed to run cleanly even with unmatched returns, they can be added to this list. However, there will come a point when the warning pass of Dialyzer will run out of memory on Travis and the process will be killed. This should be fixed in dialyzer.
Diffstat (limited to 'bootstrap/bin')
0 files changed, 0 insertions, 0 deletions