1 files changed, 69 insertions, 69 deletions
diff --git a/lib/dialyzer/test/user_tests_SUITE.erl b/lib/dialyzer/test/user_tests_SUITE.erl
index 5d65142cd9..9654114725 100644
--- a/lib/dialyzer/test/user_tests_SUITE.erl
+++ b/lib/dialyzer/test/user_tests_SUITE.erl
@@ -1,78 +1,78 @@
--module(user_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([broken_dialyzer/1, gcpFlowControl/1, qlc_error/1, spvcOrig/1, 
-         wsp_pdu/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(user_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([user_tests_SUITE_consistency/1, broken_dialyzer/1, 
+         gcpFlowControl/1, qlc_error/1, spvcOrig/1, wsp_pdu/1]).
 
-end_per_group(_GroupName, Config) -> Config.
+suite() ->
+  [{timetrap, {minutes, 3}}].
 
-init_per_testcase(_Case, Config) ->
-    ?line Dog = ?t:timetrap(?default_timeout),
-    [{dialyzer_options, []}, {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, []}|Config]
+  end.
 
-fin_per_testcase(_Case, _Config) ->
-    Dog = ?config(watchdog, _Config),
-    ?t:timetrap_cancel(Dog),
-    ok.
+end_per_suite(_Config) ->
+  ok.
 
 all() ->
-    [broken_dialyzer,gcpFlowControl,qlc_error,spvcOrig,wsp_pdu].
-
-broken_dialyzer(Config) when is_list(Config) ->
-    ?line run(Config, {broken_dialyzer, file}),
-    ok.
-
-gcpFlowControl(Config) when is_list(Config) ->
-    ?line run(Config, {gcpFlowControl, file}),
-    ok.
-
-qlc_error(Config) when is_list(Config) ->
-    ?line run(Config, {qlc_error, file}),
-    ok.
-
-spvcOrig(Config) when is_list(Config) ->
-    ?line run(Config, {spvcOrig, file}),
-    ok.
-
-wsp_pdu(Config) when is_list(Config) ->
-    ?line run(Config, {wsp_pdu, 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.
+  [user_tests_SUITE_consistency,broken_dialyzer,gcpFlowControl,qlc_error,
+   spvcOrig,wsp_pdu].
+
+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).
+
+user_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.
+
+broken_dialyzer(Config) ->
+  case dialyze(Config, broken_dialyzer) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+gcpFlowControl(Config) ->
+  case dialyze(Config, gcpFlowControl) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+qlc_error(Config) ->
+  case dialyze(Config, qlc_error) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+spvcOrig(Config) ->
+  case dialyze(Config, spvcOrig) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
+
+wsp_pdu(Config) ->
+  case dialyze(Config, wsp_pdu) of
+    'same' -> 'same';
+    Error  -> ct:fail(Error)
+  end.
 
-fail() ->
-    io:format("failed\n"),
-    ?t:fail().