=== Test case: overspecs_SUITE:opaque/1 (click for source code)

=== Config value:

    [{dialyzer_options,[{indent_opt,false},
                        {warnings,[overspecs,opaque_union]}]},
     {watchdog,<0.119573.0>},
     {tc_logfile,"/buildroot/otp/lib/dialyzer/make_test_dir/ct_logs/ct_run.test_server@f55f7f8f9928.2025-08-21_17.02.37/make_test_dir.dialyzer_test.logs/run.2025-08-21_17.02.39/overspecs_suite.opaque.html"},
     {tc_group_properties,[]},
     {tc_group_path,[]},
     {data_dir,"/buildroot/otp/lib/dialyzer/make_test_dir/dialyzer_test/overspecs_SUITE_data/"},
     {priv_dir,"/buildroot/otp/lib/dialyzer/make_test_dir/ct_logs/ct_run.test_server@f55f7f8f9928.2025-08-21_17.02.37/make_test_dir.dialyzer_test.logs/run.2025-08-21_17.02.39/log_private/"}]

=== Current directory is "/buildroot/otp/lib/dialyzer/make_test_dir/ct_logs/ct_run.test_server@f55f7f8f9928.2025-08-21_17.02.37"

=== Started at 2025-08-21 17:11:15






=== Ended at 2025-08-21 17:11:16
=== successfully completed test case
=== === Returned value: same