otp.git/lib/dialyzer/test/options2_SUITE_data, branch maint

dialyzer: Add test cases with indentation

2019-05-07T06:25:03+00:00

A smallish selection of already existing tests, run with
the indentation option.

dialyzer: Improve check of unknown types

2017-09-15T06:17:49+00:00

The implementation of OTP-14218 (commit 6d3b38a) has a weakness: only
a very limited part of the type form is checked. This is now fixed:
types not used by specs are checked equally well as types used by
specs.

The new function erl_types:t_from_form_check_remote() checks usage of
remote types. It does not expand used local types, and has (almost) no
limits on depth and size.

dialyzer: Warn about unused unknown types

2017-06-13T11:40:25+00:00

dialyzer: Fix a bug regarding unknown types

2017-04-26T12:38:42+00:00

Since commit 12b3790 Dialyzer has not reported unknown types.

Change license text to APLv2

2015-06-18T09:31:02+00:00

Rename suite data directories

2011-05-04T13:06:15+00:00