/lib/dialyzer/test/small_SUITE_data/results/

• ../
• andalso_test
• app_call
• appmon_place
• areq
• atom_call
• atom_widen
• blame_contract_range
• bs_fail_constr
• bs_utf8
• cerl_hipeify
• common_eunit
• compare1
• comparisons
• confusing_record_warning
• confusing_warning
• contract1
• contract2
• contract3
• contract5
• contracts_with_subtypes
• empty_list_infimum
• eqeq
• ets_select
• exhaust_case
• failing_funs
• failing_guard1
• flatten
• fun_app
• fun_ref_match
• gencall
• gs_make
• guard_warnings
• guards
• higher_order_discrepancy
• higher_order_discrepancy_2
• inf_loop2
• invalid_specs
• letrec1
• list_match
• lzip
• make_tuple
• minus_minus
• mod_info
• my_filter
• my_sofs
• no_local_return
• no_match
• no_unused_fun
• no_unused_fun2
• non_existing
• none_scc_inf_loop
• not_bogus_warning
• not_guard_crash
• or_bug
• orelsebug
• orelsebug2
• overloaded1
• port_info_test
• process_info_test
• receive1
• record_construct
• record_creation_diffs
• record_pat
• record_send_test
• record_test
• recursive_types1
• recursive_types2
• recursive_types3
• recursive_types4
• recursive_types5
• recursive_types6
• recursive_types7
• refine_failing
• toth
• trec
• try1
• tuple1
• tuple_set_crash
• unsafe_beamcode_bug
• unused_cases
• unused_clauses
• zero_tuple