aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_tests_SUITE.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE.erl')
-rw-r--r--lib/dialyzer/test/opaque_tests_SUITE.erl319
1 files changed, 176 insertions, 143 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE.erl b/lib/dialyzer/test/opaque_tests_SUITE.erl
index 3dc583d065..6b90e7a646 100644
--- a/lib/dialyzer/test/opaque_tests_SUITE.erl
+++ b/lib/dialyzer/test/opaque_tests_SUITE.erl
@@ -1,151 +1,184 @@
--module(opaque_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]).
+%% 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.
--export([array/1, crash/1, dict/1, ets/1, gb_sets/1, inf_loop1/1,
- int/1, mixed_opaque/1, my_digraph/1, my_queue/1, opaque/1,
- queue/1, rec/1, timer/1, union/1, wings/1, zoltan_kis1/1,
- zoltan_kis2/1, zoltan_kis3/1, zoltan_kis4/1, zoltan_kis5/1,
- zoltan_kis6/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)).
+-module(opaque_tests_SUITE).
-groups() -> [].
+-include("ct.hrl").
+-include("dialyzer_test_constants.hrl").
-init_per_group(_GroupName, Config) -> Config.
+-export([suite/0, init_per_suite/0, init_per_suite/1,
+ end_per_suite/1, all/0]).
+-export([opaque_tests_SUITE_consistency/1, array/1, crash/1, dict/1,
+ ets/1, gb_sets/1, inf_loop1/1, int/1, mixed_opaque/1,
+ my_digraph/1, my_queue/1, opaque/1, queue/1, rec/1, timer/1,
+ union/1, wings/1, zoltan_kis1/1, zoltan_kis2/1, zoltan_kis3/1,
+ zoltan_kis4/1, zoltan_kis5/1, zoltan_kis6/1]).
-end_per_group(_GroupName, Config) -> Config.
+suite() ->
+ [{timetrap, {minutes, 1}}].
-init_per_testcase(_Case, Config) ->
- ?line Dog = ?t:timetrap(?default_timeout),
- [{dialyzer_options, [{warnings,[no_unused,no_return]}]}, {watchdog, Dog} | Config].
+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, [{warnings,[no_unused,no_return]}]}|Config]
+ end.
-fin_per_testcase(_Case, _Config) ->
- Dog = ?config(watchdog, _Config),
- ?t:timetrap_cancel(Dog),
- ok.
+end_per_suite(_Config) ->
+ ok.
all() ->
- [array,crash,dict,ets,gb_sets,inf_loop1,int,mixed_opaque,my_digraph,
- my_queue,opaque,queue,rec,timer,union,wings,zoltan_kis1,zoltan_kis2,
- zoltan_kis3,zoltan_kis4,zoltan_kis5,zoltan_kis6].
-
-array(Config) when is_list(Config) ->
- ?line run(Config, {array, dir}),
- ok.
-
-crash(Config) when is_list(Config) ->
- ?line run(Config, {crash, dir}),
- ok.
-
-dict(Config) when is_list(Config) ->
- ?line run(Config, {dict, dir}),
- ok.
-
-ets(Config) when is_list(Config) ->
- ?line run(Config, {ets, dir}),
- ok.
-
-gb_sets(Config) when is_list(Config) ->
- ?line run(Config, {gb_sets, dir}),
- ok.
-
-inf_loop1(Config) when is_list(Config) ->
- ?line run(Config, {inf_loop1, file}),
- ok.
-
-int(Config) when is_list(Config) ->
- ?line run(Config, {int, dir}),
- ok.
-
-mixed_opaque(Config) when is_list(Config) ->
- ?line run(Config, {mixed_opaque, dir}),
- ok.
-
-my_digraph(Config) when is_list(Config) ->
- ?line run(Config, {my_digraph, dir}),
- ok.
-
-my_queue(Config) when is_list(Config) ->
- ?line run(Config, {my_queue, dir}),
- ok.
-
-opaque(Config) when is_list(Config) ->
- ?line run(Config, {opaque, dir}),
- ok.
-
-queue(Config) when is_list(Config) ->
- ?line run(Config, {queue, dir}),
- ok.
-
-rec(Config) when is_list(Config) ->
- ?line run(Config, {rec, dir}),
- ok.
-
-timer(Config) when is_list(Config) ->
- ?line run(Config, {timer, dir}),
- ok.
-
-union(Config) when is_list(Config) ->
- ?line run(Config, {union, dir}),
- ok.
-
-wings(Config) when is_list(Config) ->
- ?line run(Config, {wings, dir}),
- ok.
-
-zoltan_kis1(Config) when is_list(Config) ->
- ?line run(Config, {zoltan_kis1, file}),
- ok.
-
-zoltan_kis2(Config) when is_list(Config) ->
- ?line run(Config, {zoltan_kis2, file}),
- ok.
-
-zoltan_kis3(Config) when is_list(Config) ->
- ?line run(Config, {zoltan_kis3, file}),
- ok.
-
-zoltan_kis4(Config) when is_list(Config) ->
- ?line run(Config, {zoltan_kis4, file}),
- ok.
-
-zoltan_kis5(Config) when is_list(Config) ->
- ?line run(Config, {zoltan_kis5, file}),
- ok.
-
-zoltan_kis6(Config) when is_list(Config) ->
- ?line run(Config, {zoltan_kis6, 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().
+ [opaque_tests_SUITE_consistency,array,crash,dict,ets,gb_sets,inf_loop1,int,
+ mixed_opaque,my_digraph,my_queue,opaque,queue,rec,timer,union,wings,
+ zoltan_kis1,zoltan_kis2,zoltan_kis3,zoltan_kis4,zoltan_kis5,zoltan_kis6].
+
+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).
+
+opaque_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.
+
+array(Config) ->
+ case dialyze(Config, array) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+crash(Config) ->
+ case dialyze(Config, crash) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+dict(Config) ->
+ case dialyze(Config, dict) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+ets(Config) ->
+ case dialyze(Config, ets) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+gb_sets(Config) ->
+ case dialyze(Config, gb_sets) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+inf_loop1(Config) ->
+ case dialyze(Config, inf_loop1) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+int(Config) ->
+ case dialyze(Config, int) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+mixed_opaque(Config) ->
+ case dialyze(Config, mixed_opaque) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+my_digraph(Config) ->
+ case dialyze(Config, my_digraph) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+my_queue(Config) ->
+ case dialyze(Config, my_queue) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+opaque(Config) ->
+ case dialyze(Config, opaque) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+queue(Config) ->
+ case dialyze(Config, queue) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+rec(Config) ->
+ case dialyze(Config, rec) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+timer(Config) ->
+ case dialyze(Config, timer) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+union(Config) ->
+ case dialyze(Config, union) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+wings(Config) ->
+ case dialyze(Config, wings) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+zoltan_kis1(Config) ->
+ case dialyze(Config, zoltan_kis1) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+zoltan_kis2(Config) ->
+ case dialyze(Config, zoltan_kis2) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+zoltan_kis3(Config) ->
+ case dialyze(Config, zoltan_kis3) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+zoltan_kis4(Config) ->
+ case dialyze(Config, zoltan_kis4) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+zoltan_kis5(Config) ->
+ case dialyze(Config, zoltan_kis5) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
+zoltan_kis6(Config) ->
+ case dialyze(Config, zoltan_kis6) of
+ 'same' -> 'same';
+ Error -> ct:fail(Error)
+ end.
+
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 16:54:41 +0000