aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/results
ModeNameSize
-rw-r--r--andalso_test0logstatsplainblame
-rw-r--r--app_call174logstatsplainblame
-rw-r--r--appmon_place0logstatsplainblame
-rw-r--r--areq66logstatsplainblame
-rw-r--r--atom_call140logstatsplainblame
-rw-r--r--atom_widen271logstatsplainblame
-rw-r--r--blame_contract_range296logstatsplainblame
-rw-r--r--bs_fail_constr712logstatsplainblame
-rw-r--r--bs_utf80logstatsplainblame
-rw-r--r--cerl_hipeify285logstatsplainblame
-rw-r--r--comm_layer144logstatsplainblame
-rw-r--r--common_eunit58logstatsplainblame
-rw-r--r--compare1174logstatsplainblame
-rw-r--r--comparisons11067logstatsplainblame
-rw-r--r--confusing_record_warning224logstatsplainblame
-rw-r--r--confusing_warning98logstatsplainblame
-rw-r--r--contract1129logstatsplainblame
-rw-r--r--contract2188logstatsplainblame
-rw-r--r--contract3255logstatsplainblame
-rw-r--r--contract5129logstatsplainblame
-rw-r--r--contracts_with_subtypes4885logstatsplainblame
-rw-r--r--empty_list_infimum152logstatsplainblame
-rw-r--r--eqeq70logstatsplainblame
-rw-r--r--ets_select0logstatsplainblame
-rw-r--r--exhaust_case198logstatsplainblame
-rw-r--r--failing_funs1114logstatsplainblame
-rw-r--r--failing_guard1225logstatsplainblame
-rw-r--r--flatten198logstatsplainblame
-rw-r--r--fun_app493logstatsplainblame
-rw-r--r--fun_ref_match0logstatsplainblame
-rw-r--r--gencall217logstatsplainblame
-rw-r--r--gs_make0logstatsplainblame
-rw-r--r--guard_warnings6507logstatsplainblame
-rw-r--r--guards1728logstatsplainblame
-rw-r--r--higher_order_discrepancy323logstatsplainblame
-rw-r--r--higher_order_discrepancy_2731logstatsplainblame
-rw-r--r--inf_loop2261logstatsplainblame
-rw-r--r--invalid_specs221logstatsplainblame
-rw-r--r--letrec10logstatsplainblame
-rw-r--r--list_match123logstatsplainblame
-rw-r--r--lzip0logstatsplainblame
-rw-r--r--make_tuple125logstatsplainblame
-rw-r--r--minus_minus0logstatsplainblame
-rw-r--r--mod_info0logstatsplainblame
-rw-r--r--my_filter0logstatsplainblame
-rw-r--r--my_sofs159logstatsplainblame
-rw-r--r--no_local_return120logstatsplainblame
-rw-r--r--no_match183logstatsplainblame
-rw-r--r--no_unused_fun0logstatsplainblame
-rw-r--r--no_unused_fun20logstatsplainblame
-rw-r--r--non_existing86logstatsplainblame
-rw-r--r--none_scc_inf_loop255logstatsplainblame
-rw-r--r--not_bogus_warning165logstatsplainblame
-rw-r--r--not_guard_crash0logstatsplainblame
-rw-r--r--or_bug0logstatsplainblame
-rw-r--r--orelsebug0logstatsplainblame
-rw-r--r--orelsebug20logstatsplainblame
-rw-r--r--overloaded1175logstatsplainblame
-rw-r--r--port_info_test896logstatsplainblame
-rw-r--r--process_info_test0logstatsplainblame
-rw-r--r--pubsub0logstatsplainblame
-rw-r--r--receive151logstatsplainblame
-rw-r--r--record_construct563logstatsplainblame
-rw-r--r--record_creation_diffs228logstatsplainblame
-rw-r--r--record_pat85logstatsplainblame
-rw-r--r--record_send_test235logstatsplainblame
-rw-r--r--record_test183logstatsplainblame
-rw-r--r--recursive_types10logstatsplainblame
-rw-r--r--recursive_types20logstatsplainblame
-rw-r--r--recursive_types30logstatsplainblame
-rw-r--r--recursive_types40logstatsplainblame
-rw-r--r--recursive_types50logstatsplainblame
-rw-r--r--recursive_types60logstatsplainblame
-rw-r--r--recursive_types70logstatsplainblame
-rw-r--r--refine_failing269logstatsplainblame
-rw-r--r--toth0logstatsplainblame
-rw-r--r--trec545logstatsplainblame
-rw-r--r--try10logstatsplainblame
-rw-r--r--tuple1528logstatsplainblame
-rw-r--r--tuple_set_crash2299logstatsplainblame
-rw-r--r--unsafe_beamcode_bug0logstatsplainblame
-rw-r--r--unused_cases307logstatsplainblame
-rw-r--r--unused_clauses192logstatsplainblame
-rw-r--r--zero_tuple230logstatsplainblame