| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-07 | dialyzer: Add test cases with indentation | Hans Bolinder | |
| A smallish selection of already existing tests, run with the indentation option. | |||
| 2018-05-25 | dialyzer: Refine the test for overspecified functions | Hans Bolinder | |
| The -Woverspecs (-Wspecdiffs) option generates warnings in a few more cases. The refinement is analogous to the test that -Wunderspecs already does: it checks if the contract has nothing in common with some element (see erl_types:t_elements/1) of the success typing. | |||
 |
index : otp.git | |
| Mirror of Erlang/OTP repository. | OTP Team |
| aboutsummaryrefslogtreecommitdiffstats |