1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
-module(user_tests_SUITE).
-include_lib("test_server/include/test_server.hrl").
-export([all/0, groups/0, init_per_group/2, end_per_group/2,
init_per_testcase/2, fin_per_testcase/2]).
-export([broken_dialyzer/1, gcpFlowControl/1, qlc_error/1, spvcOrig/1,
wsp_pdu/1]).
-define(default_timeout, ?t:minutes(1)).
-define(dialyzer_options, ?config(dialyzer_options, Config)).
-define(datadir, ?config(data_dir, Config)).
-define(privdir, ?config(priv_dir, Config)).
groups() -> [].
init_per_group(_GroupName, Config) -> Config.
end_per_group(_GroupName, Config) -> Config.
init_per_testcase(_Case, Config) ->
?line Dog = ?t:timetrap(?default_timeout),
[{dialyzer_options, []}, {watchdog, Dog} | Config].
fin_per_testcase(_Case, _Config) ->
Dog = ?config(watchdog, _Config),
?t:timetrap_cancel(Dog),
ok.
all() ->
[broken_dialyzer,gcpFlowControl,qlc_error,spvcOrig,wsp_pdu].
broken_dialyzer(Config) when is_list(Config) ->
?line run(Config, {broken_dialyzer, file}),
ok.
gcpFlowControl(Config) when is_list(Config) ->
?line run(Config, {gcpFlowControl, file}),
ok.
qlc_error(Config) when is_list(Config) ->
?line run(Config, {qlc_error, file}),
ok.
spvcOrig(Config) when is_list(Config) ->
?line run(Config, {spvcOrig, file}),
ok.
wsp_pdu(Config) when is_list(Config) ->
?line run(Config, {wsp_pdu, file}),
ok.
run(Config, TestCase) ->
case run_test(Config, TestCase) of
ok -> ok;
{fail, Reason} ->
?t:format("~s",[Reason]),
fail()
end.
run_test(Config, {TestCase, Kind}) ->
Dog = ?config(watchdog, Config),
Options = ?dialyzer_options,
Dir = ?datadir,
OutDir = ?privdir,
case dialyzer_test:dialyzer_test(Options, TestCase, Kind,
Dir, OutDir, Dog) of
same -> ok;
{differ, DiffList} ->
{fail,
io_lib:format("\nTest ~p failed:\n~p\n",
[TestCase, DiffList])}
end.
fail() ->
io:format("failed\n"),
?t:fail().
|
