diff options
Diffstat (limited to 'lib/dialyzer/test/options2_tests_SUITE.erl')
-rw-r--r-- | lib/dialyzer/test/options2_tests_SUITE.erl | 52 |
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. - |