aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/user_tests_SUITE.erl
blob: 9654114725d71bbf9df3262c725f61d63886250b (plain) (blame)
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
%% ATTENTION!
%% This is an automatically generated file. Do not edit.
%% Use './remake' script to refresh it if needed.
%% All Dialyzer options should be defined in dialyzer_options
%% file.

-module(user_tests_SUITE).

-include("ct.hrl").
-include("dialyzer_test_constants.hrl").

-export([suite/0, init_per_suite/0, init_per_suite/1,
         end_per_suite/1, all/0]).
-export([user_tests_SUITE_consistency/1, broken_dialyzer/1, 
         gcpFlowControl/1, qlc_error/1, spvcOrig/1, wsp_pdu/1]).

suite() ->
  [{timetrap, {minutes, 3}}].

init_per_suite() ->
  [{timetrap, ?plt_timeout}].
init_per_suite(Config) ->
  OutDir = ?config(priv_dir, Config),
  case dialyzer_common:check_plt(OutDir) of
    fail -> {skip, "Plt creation/check failed."};
    ok -> [{dialyzer_options, []}|Config]
  end.

end_per_suite(_Config) ->
  ok.

all() ->
  [user_tests_SUITE_consistency,broken_dialyzer,gcpFlowControl,qlc_error,
   spvcOrig,wsp_pdu].

dialyze(Config, TestCase) ->
  Opts = ?config(dialyzer_options, Config),
  Dir = ?config(data_dir, Config),
  OutDir = ?config(priv_dir, Config),
  dialyzer_common:check(TestCase, Opts, Dir, OutDir).

user_tests_SUITE_consistency(Config) ->
  Dir = ?config(data_dir, Config),
  case dialyzer_common:new_tests(Dir, all()) of
    []  -> ok;
    New -> ct:fail({missing_tests,New})
  end.

broken_dialyzer(Config) ->
  case dialyze(Config, broken_dialyzer) of
    'same' -> 'same';
    Error  -> ct:fail(Error)
  end.

gcpFlowControl(Config) ->
  case dialyze(Config, gcpFlowControl) of
    'same' -> 'same';
    Error  -> ct:fail(Error)
  end.

qlc_error(Config) ->
  case dialyze(Config, qlc_error) of
    'same' -> 'same';
    Error  -> ct:fail(Error)
  end.

spvcOrig(Config) ->
  case dialyze(Config, spvcOrig) of
    'same' -> 'same';
    Error  -> ct:fail(Error)
  end.

wsp_pdu(Config) ->
  case dialyze(Config, wsp_pdu) of
    'same' -> 'same';
    Error  -> ct:fail(Error)
  end.