=== Test case: small_SUITE:no_match/1 (click for source code)

=== Config value:

    [{dialyzer_options,[{indent_opt,false},
                        {error_location,column},
                        {warnings,[no_unknown,overlapping_contract]}]},
     {watchdog,<0.129018.0>},
     {tc_logfile,"/buildroot/otp/lib/dialyzer/make_test_dir/ct_logs/ct_run.test_server@6fa46e13911e.2025-09-18_12.40.02/make_test_dir.dialyzer_test.logs/run.2025-09-18_12.40.03/small_suite.no_match.html"},
     {tc_group_properties,[]},
     {tc_group_path,[]},
     {data_dir,"/buildroot/otp/lib/dialyzer/make_test_dir/dialyzer_test/small_SUITE_data/"},
     {priv_dir,"/buildroot/otp/lib/dialyzer/make_test_dir/ct_logs/ct_run.test_server@6fa46e13911e.2025-09-18_12.40.02/make_test_dir.dialyzer_test.logs/run.2025-09-18_12.40.03/log_private/"}]

=== Current directory is "/buildroot/otp/lib/dialyzer/make_test_dir/ct_logs/ct_run.test_server@6fa46e13911e.2025-09-18_12.40.02"

=== Started at 2025-09-18 12:50:12






=== Ended at 2025-09-18 12:50:13
=== successfully completed test case
=== === Returned value: same