• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..21-Nov-2021-

behaviour_SUITE_data/H21-Nov-2021-521352

callgraph_SUITE_data/H21-Nov-2021-4015

indent2_SUITE_data/H21-Nov-2021-218156

indent_SUITE_data/H21-Nov-2021-6,9545,357

line_SUITE_data/H21-Nov-2021-5319

map_SUITE_data/H21-Nov-2021-3,8382,903

opaque_SUITE_data/H21-Nov-2021-26,99018,526

options1_SUITE_data/H21-Nov-2021-29,76420,451

options2_SUITE_data/H21-Nov-2021-2,0561,340

overspecs_SUITE_data/H21-Nov-2021-10678

r9c_SUITE_data/H21-Nov-2021-80,59959,193

race_SUITE_data/H21-Nov-2021-3,4402,369

small_SUITE_data/H21-Nov-2021-8,4275,701

specdiffs_SUITE_data/H21-Nov-2021-138100

underspecs_SUITE_data/H21-Nov-2021-14588

unmatched_returns_SUITE_data/H21-Nov-2021-12665

user_SUITE_data/H21-Nov-2021-10,3088,220

MakefileH A D21-Nov-20211.1 KiB4023

READMEH A D21-Nov-20211.4 KiB3928

abstract_SUITE.erlH A D21-Nov-20213.7 KiB11282

dialyzer.coverH A D21-Nov-202196 43

dialyzer.specH A D21-Nov-2021119 63

dialyzer_SUITE.erlH A D21-Nov-20212 KiB7936

dialyzer_common.erlH A D21-Nov-202112.7 KiB383330

dialyzer_test_constants.hrlH A D21-Nov-202134 21

erl_types_SUITE.erlH A D21-Nov-202111.6 KiB314261

file_utils.erlH A D21-Nov-20214.1 KiB156135

plt_SUITE.erlH A D21-Nov-202116.7 KiB516393

typer_SUITE.erlH A D21-Nov-20214.6 KiB159113

README

1-------------------------------
2To add test cases in any suite:
3-------------------------------
4
5  1) If the test requires Dialyzer to analyze a single file (TEST.erl) place it
6     in the suite's 'src' directory. If analysis of more files is needed place
7     them all in a new directory (TEST) in suite's 'src' directory.
8
9  2) Create a file named TEST containing the expected result in suite's 'result'
10     directory.
11
12----------------------
13To create a new suite:
14----------------------
15
16  1) Create a directory with the suffix '_SUITE_data'. The name should
17     describe the suite.
18
19  2) In the suite's directory create subdirectories 'src' and 'results' as
20     well as a 'dialyzer_options' file with the following content:
21
22        {dialyzer_options, List}.
23        {time_limit, Limit}.
24
25        where:
26
27        List  = a list of Dialyzer options. Common case will be something
28                like [{warnings, Warnings}], where Warnings is a list of valid
29                '-W' prefixed dialyzer options without the 'W' prefix (e.g.
30                '-Wfoo' would be declared as [{warnings, [foo]}].
31        Limit = the amount of time (in minutes) each test case is allowed to
32                run. Must be greater than the time required to complete the most
33                time-consuming test in the suite.
34
35     Any of these lines may be missing. Default options list is empty and
36     default time limit is 1 minute.
37
38  3) Add tests as described in previous section.
39