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.erl61
1 files changed, 61 insertions, 0 deletions
diff --git a/lib/dialyzer/test/options2_tests_SUITE.erl b/lib/dialyzer/test/options2_tests_SUITE.erl
new file mode 100644
index 0000000000..e23ad1f326
--- /dev/null
+++ b/lib/dialyzer/test/options2_tests_SUITE.erl
@@ -0,0 +1,61 @@
+-module(options2_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([kernel/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, [{defines,[{vsn,4}]},{warnings,[no_return]}]}, {watchdog, Dog} | Config].
+
+fin_per_testcase(_Case, _Config) ->
+ Dog = ?config(watchdog, _Config),
+ ?t:timetrap_cancel(Dog),
+ ok.
+
+all() ->
+ [kernel].
+
+kernel(Config) when is_list(Config) ->
+ ?line run(Config, {kernel, dir}),
+ 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().