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--behaviour_info233logstatsplainblame
-rw-r--r--blame_contract_range296logstatsplainblame
-rw-r--r--bs_fail_constr712logstatsplainblame
-rw-r--r--bs_utf80logstatsplainblame
-rw-r--r--cerl_hipeify233logstatsplainblame
-rw-r--r--common_eunit58logstatsplainblame
-rw-r--r--compare1174logstatsplainblame
-rw-r--r--comparisons11067logstatsplainblame
-rw-r--r--confusing_warning98logstatsplainblame
-rw-r--r--contract1129logstatsplainblame
-rw-r--r--contract2188logstatsplainblame
-rw-r--r--contract3293logstatsplainblame
-rw-r--r--contract5129logstatsplainblame
-rw-r--r--contracts_with_subtypes4699logstatsplainblame
-rw-r--r--contracts_with_subtypes2353logstatsplainblame
-rw-r--r--eep370logstatsplainblame
-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--flatten228logstatsplainblame
-rw-r--r--fun_app493logstatsplainblame
-rw-r--r--fun_ref_match0logstatsplainblame
-rw-r--r--funs_from_outside469logstatsplainblame
-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_spec_2152logstatsplainblame
-rw-r--r--invalid_specs221logstatsplainblame
-rw-r--r--letrec10logstatsplainblame
-rw-r--r--list_match123logstatsplainblame
-rw-r--r--literals1104logstatsplainblame
-rw-r--r--lzip0logstatsplainblame
-rw-r--r--make_tuple125logstatsplainblame
-rw-r--r--maps_difftype141logstatsplainblame
-rw-r--r--minus_minus0logstatsplainblame
-rw-r--r--mod_info0logstatsplainblame
-rw-r--r--my_filter0logstatsplainblame
-rw-r--r--my_sofs237logstatsplainblame
-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--predef895logstatsplainblame
-rw-r--r--pretty_bitstring352logstatsplainblame
-rw-r--r--process_info_test0logstatsplainblame
-rw-r--r--receive151logstatsplainblame
-rw-r--r--record_construct569logstatsplainblame
-rw-r--r--record_creation_diffs228logstatsplainblame
-rw-r--r--record_pat146logstatsplainblame
-rw-r--r--record_send_test235logstatsplainblame
-rw-r--r--record_test222logstatsplainblame
-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--relevant_record_warning206logstatsplainblame
-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--types_arity135logstatsplainblame
-rw-r--r--unsafe_beamcode_bug0logstatsplainblame
-rw-r--r--unused_cases307logstatsplainblame
-rw-r--r--unused_clauses192logstatsplainblame
-rw-r--r--zero_tuple230logstatsplainblame