1 files changed, 78 insertions, 0 deletions
diff --git a/lib/dialyzer/test/user_tests_SUITE.erl b/lib/dialyzer/test/user_tests_SUITE.erl
new file mode 100644
index 0000000000..5d65142cd9
--- /dev/null
+++ b/lib/dialyzer/test/user_tests_SUITE.erl
@@ -0,0 +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]).
+
+-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)).
+
+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.
+
+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.
+
+fail() ->
+    io:format("failed\n"),
+    ?t:fail().