aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/options2_tests_SUITE.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/test/options2_tests_SUITE.erl')
-rw-r--r--lib/dialyzer/test/options2_tests_SUITE.erl52
1 files changed, 0 insertions, 52 deletions
diff --git a/lib/dialyzer/test/options2_tests_SUITE.erl b/lib/dialyzer/test/options2_tests_SUITE.erl
deleted file mode 100644
index 43b5207744..0000000000
--- a/lib/dialyzer/test/options2_tests_SUITE.erl
+++ /dev/null
@@ -1,52 +0,0 @@
-%% 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(options2_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([options2_tests_SUITE_consistency/1, kernel/1]).
-
-suite() ->
- [{timetrap, {minutes, 1}}].
-
-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, [{defines,[{vsn,4}]},{warnings,[no_return]}]}|Config]
- end.
-
-end_per_suite(_Config) ->
- ok.
-
-all() ->
- [options2_tests_SUITE_consistency,kernel].
-
-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).
-
-options2_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.
-
-kernel(Config) ->
- case dialyze(Config, kernel) of
- 'same' -> 'same';
- Error -> ct:fail(Error)
- end.
-