diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-29 09:44:27 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-29 12:23:19 +0100 |
| commit | 0033c868488b2583be7ab4661fcd93f86e0dc96e (patch) | |
| tree | 2bb7b8597c741abab34d10bb68db95fa96555d53 | |
| parent | cdcb2376b37a218a2847086b3c56e05dc99b1e02 (diff) | |
| download | otp-0033c868488b2583be7ab4661fcd93f86e0dc96e.tar.gz otp-0033c868488b2583be7ab4661fcd93f86e0dc96e.tar.bz2 otp-0033c868488b2583be7ab4661fcd93f86e0dc96e.zip | |
Travis: Generate dialyzer warnings for more applications
We were somewhat conservative in how many applications we tried to
analyze. Now that the current set of applications does not seem
to cause false positives, be more daring and try some more
applications. Note that the other applications are not free from
"unmatched return" warnings.
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 43bf0c7fb5..01586b8ccb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -37,6 +37,10 @@ after_success: - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps asn1 crypto dialyzer --statistics - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps hipe parsetools public_key --statistics - $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps runtime_tools sasl tools --statistics + - $ERL_TOP/bin/dialyzer -n --apps common_test debugger edoc --statistics + - $ERL_TOP/bin/dialyzer -n --apps inets mnesia observer --statistics + - $ERL_TOP/bin/dialyzer -n --apps ssh ssl syntax_tools --statistics + - $ERL_TOP/bin/dialyzer -n --apps tools wx xmerl --statistics - ./otp_build tests && make release_docs after_script: |