results « small_SUITE_data « test « dialyzer « lib - otp.git

Mode	Name	Size
-rw-r--r--	andalso_test	0	log stats plain blame
-rw-r--r--	app_call	174	log stats plain blame
-rw-r--r--	appmon_place	0	log stats plain blame
-rw-r--r--	areq	66	log stats plain blame
-rw-r--r--	atom_call	140	log stats plain blame
-rw-r--r--	atom_widen	271	log stats plain blame
-rw-r--r--	blame_contract_range	296	log stats plain blame
-rw-r--r--	bs_fail_constr	712	log stats plain blame
-rw-r--r--	bs_utf8	0	log stats plain blame
-rw-r--r--	cerl_hipeify	285	log stats plain blame
-rw-r--r--	comm_layer	144	log stats plain blame
-rw-r--r--	common_eunit	58	log stats plain blame
-rw-r--r--	compare1	174	log stats plain blame
-rw-r--r--	comparisons	11067	log stats plain blame
-rw-r--r--	confusing_record_warning	224	log stats plain blame
-rw-r--r--	confusing_warning	98	log stats plain blame
-rw-r--r--	contract1	129	log stats plain blame
-rw-r--r--	contract2	188	log stats plain blame
-rw-r--r--	contract3	255	log stats plain blame
-rw-r--r--	contract5	129	log stats plain blame
-rw-r--r--	contracts_with_subtypes	4885	log stats plain blame
-rw-r--r--	empty_list_infimum	152	log stats plain blame
-rw-r--r--	eqeq	70	log stats plain blame
-rw-r--r--	ets_select	0	log stats plain blame
-rw-r--r--	exhaust_case	198	log stats plain blame
-rw-r--r--	failing_funs	1114	log stats plain blame
-rw-r--r--	failing_guard1	225	log stats plain blame
-rw-r--r--	flatten	198	log stats plain blame
-rw-r--r--	fun_app	493	log stats plain blame
-rw-r--r--	fun_ref_match	0	log stats plain blame
-rw-r--r--	gencall	217	log stats plain blame
-rw-r--r--	gs_make	0	log stats plain blame
-rw-r--r--	guard_warnings	6507	log stats plain blame
-rw-r--r--	guards	1728	log stats plain blame
-rw-r--r--	higher_order_discrepancy	323	log stats plain blame
-rw-r--r--	higher_order_discrepancy_2	731	log stats plain blame
-rw-r--r--	inf_loop2	261	log stats plain blame
-rw-r--r--	invalid_specs	221	log stats plain blame
-rw-r--r--	letrec1	0	log stats plain blame
-rw-r--r--	list_match	123	log stats plain blame
-rw-r--r--	lzip	0	log stats plain blame
-rw-r--r--	make_tuple	125	log stats plain blame
-rw-r--r--	minus_minus	0	log stats plain blame
-rw-r--r--	mod_info	0	log stats plain blame
-rw-r--r--	my_filter	0	log stats plain blame
-rw-r--r--	my_sofs	159	log stats plain blame
-rw-r--r--	no_local_return	120	log stats plain blame
-rw-r--r--	no_match	183	log stats plain blame
-rw-r--r--	no_unused_fun	0	log stats plain blame
-rw-r--r--	no_unused_fun2	0	log stats plain blame
-rw-r--r--	non_existing	86	log stats plain blame
-rw-r--r--	none_scc_inf_loop	255	log stats plain blame
-rw-r--r--	not_bogus_warning	165	log stats plain blame
-rw-r--r--	not_guard_crash	0	log stats plain blame
-rw-r--r--	or_bug	0	log stats plain blame
-rw-r--r--	orelsebug	0	log stats plain blame
-rw-r--r--	orelsebug2	0	log stats plain blame
-rw-r--r--	overloaded1	175	log stats plain blame
-rw-r--r--	port_info_test	896	log stats plain blame
-rw-r--r--	process_info_test	0	log stats plain blame
-rw-r--r--	pubsub	0	log stats plain blame
-rw-r--r--	receive1	51	log stats plain blame
-rw-r--r--	record_construct	563	log stats plain blame
-rw-r--r--	record_creation_diffs	228	log stats plain blame
-rw-r--r--	record_pat	85	log stats plain blame
-rw-r--r--	record_send_test	235	log stats plain blame
-rw-r--r--	record_test	183	log stats plain blame
-rw-r--r--	recursive_types1	0	log stats plain blame
-rw-r--r--	recursive_types2	0	log stats plain blame
-rw-r--r--	recursive_types3	0	log stats plain blame
-rw-r--r--	recursive_types4	0	log stats plain blame
-rw-r--r--	recursive_types5	0	log stats plain blame
-rw-r--r--	recursive_types6	0	log stats plain blame
-rw-r--r--	recursive_types7	0	log stats plain blame
-rw-r--r--	refine_failing	269	log stats plain blame
-rw-r--r--	toth	0	log stats plain blame
-rw-r--r--	trec	545	log stats plain blame
-rw-r--r--	try1	0	log stats plain blame
-rw-r--r--	tuple1	528	log stats plain blame
-rw-r--r--	tuple_set_crash	2299	log stats plain blame
-rw-r--r--	unsafe_beamcode_bug	0	log stats plain blame
-rw-r--r--	unused_cases	307	log stats plain blame
-rw-r--r--	unused_clauses	192	log stats plain blame
-rw-r--r--	zero_tuple	230	log stats plain blame