1 files changed, 478 insertions, 352 deletions

diff --git a/lib/dialyzer/test/small_tests_SUITE.erl b/lib/dialyzer/test/small_tests_SUITE.erl
index d07a80647d..21a2c76160 100644
--- a/lib/dialyzer/test/small_tests_SUITE.erl
+++ b/lib/dialyzer/test/small_tests_SUITE.erl
@@ -1,357 +1,483 @@
+%% 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(small_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([app_call/1, appmon_place/1, areq/1, atom_call/1, atom_guard/1, 
-         atom_widen/1, bs_fail_constr/1, bs_utf8/1, cerl_hipeify/1, 
-         comm_layer/1, compare1/1, confusing_warning/1, contract2/1, 
-         contract3/1, contract5/1, disj_norm_form/1, eqeq/1, 
-         ets_select/1, exhaust_case/1, failing_guard1/1, flatten/1, 
-         fun_app/1, fun_ref_match/1, fun_ref_record/1, gencall/1, 
-         gs_make/1, inf_loop2/1, letrec1/1, list_match/1, lzip/1, 
-         make_tuple/1, minus_minus/1, mod_info/1, my_filter/1, 
-         my_sofs/1, no_match/1, no_unused_fun/1, no_unused_fun2/1, 
-         non_existing/1, not_guard_crash/1, or_bug/1, orelsebug/1, 
-         orelsebug2/1, overloaded1/1, port_info_test/1, 
-         process_info_test/1, pubsub/1, receive1/1, record_construct/1, 
-         record_pat/1, record_send_test/1, record_test/1, 
-         recursive_types1/1, recursive_types2/1, recursive_types3/1, 
-         recursive_types4/1, recursive_types5/1, recursive_types6/1, 
-         recursive_types7/1, refine_bug1/1, toth/1, trec/1, try1/1, 
-         tuple1/1, unsafe_beamcode_bug/1, unused_cases/1, 
-         unused_clauses/1, zero_tuple/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, []}, {watchdog, Dog} | Config].
-
-fin_per_testcase(_Case, _Config) ->
-    Dog = ?config(watchdog, _Config),
-    ?t:timetrap_cancel(Dog),
-    ok.
+-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([small_tests_SUITE_consistency/1, app_call/1, appmon_place/1, 
+         areq/1, atom_call/1, atom_guard/1, atom_widen/1, 
+         bs_fail_constr/1, bs_utf8/1, cerl_hipeify/1, comm_layer/1, 
+         compare1/1, confusing_warning/1, contract2/1, contract3/1, 
+         contract5/1, disj_norm_form/1, eqeq/1, ets_select/1, 
+         exhaust_case/1, failing_guard1/1, flatten/1, fun_app/1, 
+         fun_ref_match/1, fun_ref_record/1, gencall/1, gs_make/1, 
+         inf_loop2/1, letrec1/1, list_match/1, lzip/1, make_tuple/1, 
+         minus_minus/1, mod_info/1, my_filter/1, my_sofs/1, no_match/1, 
+         no_unused_fun/1, no_unused_fun2/1, non_existing/1, 
+         not_guard_crash/1, or_bug/1, orelsebug/1, orelsebug2/1, 
+         overloaded1/1, port_info_test/1, process_info_test/1, pubsub/1, 
+         receive1/1, record_construct/1, record_pat/1, 
+         record_send_test/1, record_test/1, recursive_types1/1, 
+         recursive_types2/1, recursive_types3/1, recursive_types4/1, 
+         recursive_types5/1, recursive_types6/1, recursive_types7/1, 
+         refine_bug1/1, toth/1, trec/1, try1/1, tuple1/1, 
+         unsafe_beamcode_bug/1, unused_cases/1, unused_clauses/1, 
+         zero_tuple/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, []}|Config]
+  end.
+
+end_per_suite(_Config) ->
+  ok.
 
 all() ->
-    [app_call,appmon_place,areq,atom_call,atom_guard,atom_widen,
-     bs_fail_constr,bs_utf8,cerl_hipeify,comm_layer,compare1,
-     confusing_warning,contract2,contract3,contract5,disj_norm_form,eqeq,
-     ets_select,exhaust_case,failing_guard1,flatten,fun_app,fun_ref_match,
-     fun_ref_record,gencall,gs_make,inf_loop2,letrec1,list_match,lzip,
-     make_tuple,minus_minus,mod_info,my_filter,my_sofs,no_match,no_unused_fun,
-     no_unused_fun2,non_existing,not_guard_crash,or_bug,orelsebug,orelsebug2,
-     overloaded1,port_info_test,process_info_test,pubsub,receive1,
-     record_construct,record_pat,record_send_test,record_test,
-     recursive_types1,recursive_types2,recursive_types3,recursive_types4,
-     recursive_types5,recursive_types6,recursive_types7,refine_bug1,toth,trec,
-     try1,tuple1,unsafe_beamcode_bug,unused_cases,unused_clauses,zero_tuple].
-
-app_call(Config) when is_list(Config) ->
-    ?line run(Config, {app_call, file}),
-    ok.
-
-appmon_place(Config) when is_list(Config) ->
-    ?line run(Config, {appmon_place, file}),
-    ok.
-
-areq(Config) when is_list(Config) ->
-    ?line run(Config, {areq, file}),
-    ok.
-
-atom_call(Config) when is_list(Config) ->
-    ?line run(Config, {atom_call, file}),
-    ok.
-
-atom_guard(Config) when is_list(Config) ->
-    ?line run(Config, {atom_guard, file}),
-    ok.
-
-atom_widen(Config) when is_list(Config) ->
-    ?line run(Config, {atom_widen, file}),
-    ok.
-
-bs_fail_constr(Config) when is_list(Config) ->
-    ?line run(Config, {bs_fail_constr, file}),
-    ok.
-
-bs_utf8(Config) when is_list(Config) ->
-    ?line run(Config, {bs_utf8, file}),
-    ok.
-
-cerl_hipeify(Config) when is_list(Config) ->
-    ?line run(Config, {cerl_hipeify, file}),
-    ok.
-
-comm_layer(Config) when is_list(Config) ->
-    ?line run(Config, {comm_layer, dir}),
-    ok.
-
-compare1(Config) when is_list(Config) ->
-    ?line run(Config, {compare1, file}),
-    ok.
-
-confusing_warning(Config) when is_list(Config) ->
-    ?line run(Config, {confusing_warning, file}),
-    ok.
-
-contract2(Config) when is_list(Config) ->
-    ?line run(Config, {contract2, file}),
-    ok.
-
-contract3(Config) when is_list(Config) ->
-    ?line run(Config, {contract3, file}),
-    ok.
-
-contract5(Config) when is_list(Config) ->
-    ?line run(Config, {contract5, file}),
-    ok.
-
-disj_norm_form(Config) when is_list(Config) ->
-    ?line run(Config, {disj_norm_form, file}),
-    ok.
-
-eqeq(Config) when is_list(Config) ->
-    ?line run(Config, {eqeq, file}),
-    ok.
-
-ets_select(Config) when is_list(Config) ->
-    ?line run(Config, {ets_select, file}),
-    ok.
-
-exhaust_case(Config) when is_list(Config) ->
-    ?line run(Config, {exhaust_case, file}),
-    ok.
-
-failing_guard1(Config) when is_list(Config) ->
-    ?line run(Config, {failing_guard1, file}),
-    ok.
-
-flatten(Config) when is_list(Config) ->
-    ?line run(Config, {flatten, file}),
-    ok.
-
-fun_app(Config) when is_list(Config) ->
-    ?line run(Config, {fun_app, file}),
-    ok.
-
-fun_ref_match(Config) when is_list(Config) ->
-    ?line run(Config, {fun_ref_match, file}),
-    ok.
-
-fun_ref_record(Config) when is_list(Config) ->
-    ?line run(Config, {fun_ref_record, file}),
-    ok.
-
-gencall(Config) when is_list(Config) ->
-    ?line run(Config, {gencall, file}),
-    ok.
-
-gs_make(Config) when is_list(Config) ->
-    ?line run(Config, {gs_make, file}),
-    ok.
-
-inf_loop2(Config) when is_list(Config) ->
-    ?line run(Config, {inf_loop2, file}),
-    ok.
-
-letrec1(Config) when is_list(Config) ->
-    ?line run(Config, {letrec1, file}),
-    ok.
-
-list_match(Config) when is_list(Config) ->
-    ?line run(Config, {list_match, file}),
-    ok.
-
-lzip(Config) when is_list(Config) ->
-    ?line run(Config, {lzip, file}),
-    ok.
-
-make_tuple(Config) when is_list(Config) ->
-    ?line run(Config, {make_tuple, file}),
-    ok.
-
-minus_minus(Config) when is_list(Config) ->
-    ?line run(Config, {minus_minus, file}),
-    ok.
-
-mod_info(Config) when is_list(Config) ->
-    ?line run(Config, {mod_info, file}),
-    ok.
-
-my_filter(Config) when is_list(Config) ->
-    ?line run(Config, {my_filter, file}),
-    ok.
-
-my_sofs(Config) when is_list(Config) ->
-    ?line run(Config, {my_sofs, file}),
-    ok.
-
-no_match(Config) when is_list(Config) ->
-    ?line run(Config, {no_match, file}),
-    ok.
-
-no_unused_fun(Config) when is_list(Config) ->
-    ?line run(Config, {no_unused_fun, file}),
-    ok.
-
-no_unused_fun2(Config) when is_list(Config) ->
-    ?line run(Config, {no_unused_fun2, file}),
-    ok.
-
-non_existing(Config) when is_list(Config) ->
-    ?line run(Config, {non_existing, file}),
-    ok.
-
-not_guard_crash(Config) when is_list(Config) ->
-    ?line run(Config, {not_guard_crash, file}),
-    ok.
-
-or_bug(Config) when is_list(Config) ->
-    ?line run(Config, {or_bug, file}),
-    ok.
-
-orelsebug(Config) when is_list(Config) ->
-    ?line run(Config, {orelsebug, file}),
-    ok.
-
-orelsebug2(Config) when is_list(Config) ->
-    ?line run(Config, {orelsebug2, file}),
-    ok.
-
-overloaded1(Config) when is_list(Config) ->
-    ?line run(Config, {overloaded1, file}),
-    ok.
-
-port_info_test(Config) when is_list(Config) ->
-    ?line run(Config, {port_info_test, file}),
-    ok.
+  [small_tests_SUITE_consistency,app_call,appmon_place,areq,atom_call,
+   atom_guard,atom_widen,bs_fail_constr,bs_utf8,cerl_hipeify,comm_layer,
+   compare1,confusing_warning,contract2,contract3,contract5,disj_norm_form,
+   eqeq,ets_select,exhaust_case,failing_guard1,flatten,fun_app,fun_ref_match,
+   fun_ref_record,gencall,gs_make,inf_loop2,letrec1,list_match,lzip,
+   make_tuple,minus_minus,mod_info,my_filter,my_sofs,no_match,no_unused_fun,
+   no_unused_fun2,non_existing,not_guard_crash,or_bug,orelsebug,orelsebug2,
+   overloaded1,port_info_test,process_info_test,pubsub,receive1,
+   record_construct,record_pat,record_send_test,record_test,recursive_types1,
+   recursive_types2,recursive_types3,recursive_types4,recursive_types5,
+   recursive_types6,recursive_types7,refine_bug1,toth,trec,try1,tuple1,
+   unsafe_beamcode_bug,unused_cases,unused_clauses,zero_tuple].
+
+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).
+
+small_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.
+
+app_call(Config) ->
+  case dialyze(Config, app_call) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+appmon_place(Config) ->
+  case dialyze(Config, appmon_place) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+areq(Config) ->
+  case dialyze(Config, areq) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+atom_call(Config) ->
+  case dialyze(Config, atom_call) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+atom_guard(Config) ->
+  case dialyze(Config, atom_guard) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+atom_widen(Config) ->
+  case dialyze(Config, atom_widen) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+bs_fail_constr(Config) ->
+  case dialyze(Config, bs_fail_constr) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+bs_utf8(Config) ->
+  case dialyze(Config, bs_utf8) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+cerl_hipeify(Config) ->
+  case dialyze(Config, cerl_hipeify) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+comm_layer(Config) ->
+  case dialyze(Config, comm_layer) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+compare1(Config) ->
+  case dialyze(Config, compare1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+confusing_warning(Config) ->
+  case dialyze(Config, confusing_warning) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+contract2(Config) ->
+  case dialyze(Config, contract2) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+contract3(Config) ->
+  case dialyze(Config, contract3) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+contract5(Config) ->
+  case dialyze(Config, contract5) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+disj_norm_form(Config) ->
+  case dialyze(Config, disj_norm_form) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+eqeq(Config) ->
+  case dialyze(Config, eqeq) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+ets_select(Config) ->
+  case dialyze(Config, ets_select) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+exhaust_case(Config) ->
+  case dialyze(Config, exhaust_case) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+failing_guard1(Config) ->
+  case dialyze(Config, failing_guard1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+flatten(Config) ->
+  case dialyze(Config, flatten) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+fun_app(Config) ->
+  case dialyze(Config, fun_app) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+fun_ref_match(Config) ->
+  case dialyze(Config, fun_ref_match) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+fun_ref_record(Config) ->
+  case dialyze(Config, fun_ref_record) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+gencall(Config) ->
+  case dialyze(Config, gencall) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+gs_make(Config) ->
+  case dialyze(Config, gs_make) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+inf_loop2(Config) ->
+  case dialyze(Config, inf_loop2) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+letrec1(Config) ->
+  case dialyze(Config, letrec1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+list_match(Config) ->
+  case dialyze(Config, list_match) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+lzip(Config) ->
+  case dialyze(Config, lzip) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+make_tuple(Config) ->
+  case dialyze(Config, make_tuple) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+minus_minus(Config) ->
+  case dialyze(Config, minus_minus) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+mod_info(Config) ->
+  case dialyze(Config, mod_info) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+my_filter(Config) ->
+  case dialyze(Config, my_filter) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+my_sofs(Config) ->
+  case dialyze(Config, my_sofs) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+no_match(Config) ->
+  case dialyze(Config, no_match) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+no_unused_fun(Config) ->
+  case dialyze(Config, no_unused_fun) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+no_unused_fun2(Config) ->
+  case dialyze(Config, no_unused_fun2) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+non_existing(Config) ->
+  case dialyze(Config, non_existing) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+not_guard_crash(Config) ->
+  case dialyze(Config, not_guard_crash) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+or_bug(Config) ->
+  case dialyze(Config, or_bug) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+orelsebug(Config) ->
+  case dialyze(Config, orelsebug) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+orelsebug2(Config) ->
+  case dialyze(Config, orelsebug2) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+overloaded1(Config) ->
+  case dialyze(Config, overloaded1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+port_info_test(Config) ->
+  case dialyze(Config, port_info_test) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+process_info_test(Config) ->
+  case dialyze(Config, process_info_test) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+pubsub(Config) ->
+  case dialyze(Config, pubsub) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+receive1(Config) ->
+  case dialyze(Config, receive1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+record_construct(Config) ->
+  case dialyze(Config, record_construct) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+record_pat(Config) ->
+  case dialyze(Config, record_pat) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+record_send_test(Config) ->
+  case dialyze(Config, record_send_test) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+record_test(Config) ->
+  case dialyze(Config, record_test) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types1(Config) ->
+  case dialyze(Config, recursive_types1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types2(Config) ->
+  case dialyze(Config, recursive_types2) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types3(Config) ->
+  case dialyze(Config, recursive_types3) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types4(Config) ->
+  case dialyze(Config, recursive_types4) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types5(Config) ->
+  case dialyze(Config, recursive_types5) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types6(Config) ->
+  case dialyze(Config, recursive_types6) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+recursive_types7(Config) ->
+  case dialyze(Config, recursive_types7) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+refine_bug1(Config) ->
+  case dialyze(Config, refine_bug1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+toth(Config) ->
+  case dialyze(Config, toth) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+trec(Config) ->
+  case dialyze(Config, trec) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+try1(Config) ->
+  case dialyze(Config, try1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+tuple1(Config) ->
+  case dialyze(Config, tuple1) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+unsafe_beamcode_bug(Config) ->
+  case dialyze(Config, unsafe_beamcode_bug) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+unused_cases(Config) ->
+  case dialyze(Config, unused_cases) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+unused_clauses(Config) ->
+  case dialyze(Config, unused_clauses) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+zero_tuple(Config) ->
+  case dialyze(Config, zero_tuple) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
 
-process_info_test(Config) when is_list(Config) ->
-    ?line run(Config, {process_info_test, file}),
-    ok.
-
-pubsub(Config) when is_list(Config) ->
-    ?line run(Config, {pubsub, dir}),
-    ok.
-
-receive1(Config) when is_list(Config) ->
-    ?line run(Config, {receive1, file}),
-    ok.
-
-record_construct(Config) when is_list(Config) ->
-    ?line run(Config, {record_construct, file}),
-    ok.
-
-record_pat(Config) when is_list(Config) ->
-    ?line run(Config, {record_pat, file}),
-    ok.
-
-record_send_test(Config) when is_list(Config) ->
-    ?line run(Config, {record_send_test, file}),
-    ok.
-
-record_test(Config) when is_list(Config) ->
-    ?line run(Config, {record_test, file}),
-    ok.
-
-recursive_types1(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types1, file}),
-    ok.
-
-recursive_types2(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types2, file}),
-    ok.
-
-recursive_types3(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types3, file}),
-    ok.
-
-recursive_types4(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types4, file}),
-    ok.
-
-recursive_types5(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types5, file}),
-    ok.
-
-recursive_types6(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types6, file}),
-    ok.
-
-recursive_types7(Config) when is_list(Config) ->
-    ?line run(Config, {recursive_types7, file}),
-    ok.
-
-refine_bug1(Config) when is_list(Config) ->
-    ?line run(Config, {refine_bug1, file}),
-    ok.
-
-toth(Config) when is_list(Config) ->
-    ?line run(Config, {toth, file}),
-    ok.
-
-trec(Config) when is_list(Config) ->
-    ?line run(Config, {trec, file}),
-    ok.
-
-try1(Config) when is_list(Config) ->
-    ?line run(Config, {try1, file}),
-    ok.
-
-tuple1(Config) when is_list(Config) ->
-    ?line run(Config, {tuple1, file}),
-    ok.
-
-unsafe_beamcode_bug(Config) when is_list(Config) ->
-    ?line run(Config, {unsafe_beamcode_bug, file}),
-    ok.
-
-unused_cases(Config) when is_list(Config) ->
-    ?line run(Config, {unused_cases, file}),
-    ok.
-
-unused_clauses(Config) when is_list(Config) ->
-    ?line run(Config, {unused_clauses, file}),
-    ok.
-
-zero_tuple(Config) when is_list(Config) ->
-    ?line run(Config, {zero_tuple, 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().