Merge branch 'sa/dialyzer-tests' into dev

* sa/dialyzer-tests: (22 commits)
  Update dialyzer.spec
  Add race/ets_insert_public
  Add opaque/ewgi,ewgi2
  Add opaque/schuett_bug
  Add small/param_types_crash
  Add small/file_open_encoding
  Add small/false_false
  Add small/ets_update_counter
  Add small/bin_compr
  Add small/tuple_set_crash
  Add small/refine_failing
  Add small/not_bogus_warning
  Add small/none_scc_inf_loop
  Add small/guards
  Add small/guard_warnings
  Add small/confusing_record_warning
  Add small/blame_contract_range
  Update small/recursive_types2 source
  Update opaque/zoltan_kis* sources
  Update options1/compiler results
  ...

OTP-9278

1 files changed, 21 insertions, 0 deletions

diff --git a/lib/dialyzer/test/plt_SUITE.erl b/lib/dialyzer/test/plt_SUITE.erl
new file mode 100644
index 0000000000..aee9f449a6
--- /dev/null
+++ b/lib/dialyzer/test/plt_SUITE.erl
@@ -0,0 +1,21 @@
+%% This suite is the only hand made and simply
+%% checks if we can build a plt.
+
+-module(plt_SUITE).
+
+-include_lib("common_test/include/ct.hrl").
+-include("dialyzer_test_constants.hrl").
+
+-export([suite/0, all/0, build_plt/1]).
+
+suite() ->
+  [{timetrap, ?plt_timeout}].
+
+all() -> [build_plt].
+
+build_plt(Config) ->
+  OutDir = ?config(priv_dir, Config),
+  case dialyzer_common:check_plt(OutDir) of
+    ok   -> ok;
+    fail -> ct:fail(plt_build_fail)
+  end.