2
%% This is an automatically generated file. Do not edit.
3
%% Use './remake' script to refresh it if needed.
4
%% All Dialyzer options should be defined in dialyzer_options
7
-module(r9c_tests_SUITE).
10
-include("dialyzer_test_constants.hrl").
12
-export([suite/0, init_per_suite/0, init_per_suite/1,
13
end_per_suite/1, all/0]).
14
-export([r9c_tests_SUITE_consistency/1, asn1/1, inets/1, mnesia/1]).
17
[{timetrap, {minutes, 20}}].
20
[{timetrap, ?plt_timeout}].
21
init_per_suite(Config) ->
22
OutDir = ?config(priv_dir, Config),
23
case dialyzer_common:check_plt(OutDir) of
24
fail -> {skip, "Plt creation/check failed."};
25
ok -> [{dialyzer_options, [{defines,[{vsn,42}]}]}|Config]
28
end_per_suite(_Config) ->
32
[r9c_tests_SUITE_consistency,asn1,inets,mnesia].
34
dialyze(Config, TestCase) ->
35
Opts = ?config(dialyzer_options, Config),
36
Dir = ?config(data_dir, Config),
37
OutDir = ?config(priv_dir, Config),
38
dialyzer_common:check(TestCase, Opts, Dir, OutDir).
40
r9c_tests_SUITE_consistency(Config) ->
41
Dir = ?config(data_dir, Config),
42
case dialyzer_common:new_tests(Dir, all()) of
44
New -> ct:fail({missing_tests,New})
48
case dialyze(Config, asn1) of
50
Error -> ct:fail(Error)
54
case dialyze(Config, inets) of
56
Error -> ct:fail(Error)
60
case dialyze(Config, mnesia) of
62
Error -> ct:fail(Error)