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

..20-Dec-2021-

behaviour_SUITE_data/H20-Dec-2021-521352

callgraph_SUITE_data/H20-Dec-2021-4015

indent2_SUITE_data/H20-Dec-2021-221159

indent_SUITE_data/H20-Dec-2021-6,9545,357

map_SUITE_data/H20-Dec-2021-3,8092,885

opaque_SUITE_data/H20-Dec-2021-26,99018,526

options1_SUITE_data/H20-Dec-2021-29,68020,397

options2_SUITE_data/H20-Dec-2021-2,0561,340

overspecs_SUITE_data/H20-Dec-2021-9269

r9c_SUITE_data/H20-Dec-2021-80,59959,193

race_SUITE_data/H20-Dec-2021-3,4402,369

small_SUITE_data/H20-Dec-2021-8,2405,563

specdiffs_SUITE_data/H20-Dec-2021-138100

underspecs_SUITE_data/H20-Dec-2021-12776

unmatched_returns_SUITE_data/H20-Dec-2021-12665

user_SUITE_data/H20-Dec-2021-10,3088,220

MakefileH A D20-Dec-20211 KiB3922

READMEH A D20-Dec-20211.4 KiB3928

abstract_SUITE.erlH A D20-Dec-20213.5 KiB10879

dialyzer.coverH A D20-Dec-202196 43

dialyzer.specH A D20-Dec-2021133 63

dialyzer_SUITE.erlH A D20-Dec-20212 KiB7936

dialyzer_common.erlH A D20-Dec-202112.7 KiB383330

dialyzer_test_constants.hrlH A D20-Dec-202134 21

file_utils.erlH A D20-Dec-20214.1 KiB156135

plt_SUITE.erlH A D20-Dec-202114.2 KiB422316

typer_SUITE.erlH A D20-Dec-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