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, 0 insertions, 54 deletions

diff --git a/lib/dialyzer/test/options1_tests_SUITE.erl b/lib/dialyzer/test/options1_tests_SUITE.erl
deleted file mode 100644
index 02cafe6c5f..0000000000
--- a/lib/dialyzer/test/options1_tests_SUITE.erl
+++ /dev/null
@@ -1,54 +0,0 @@
-%% 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(options1_tests_SUITE).
-
--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([options1_tests_SUITE_consistency/1, compiler/1]).
-
-suite() ->
-  [{timetrap, {minutes, 30}}].
-
-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, [{include_dirs,["my_include"]},
-                               {defines,[{'COMPILER_VSN',42}]},
-                               {warnings,[no_improper_lists]}]}|Config]
-  end.
-
-end_per_suite(_Config) ->
-  ok.
-
-all() ->
-  [options1_tests_SUITE_consistency,compiler].
-
-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).
-
-options1_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.
-
-compiler(Config) ->
-  case dialyze(Config, compiler) of
-    'same' -> 'same';
-    Error  -> ct:fail(Error)
-  end.
-