validity « fail « tests « miri « tools « src - rust

Mode	Name	Size
-rw-r--r--	cast_fn_ptr_invalid_callee_arg.rs	442	log plain
-rw-r--r--	cast_fn_ptr_invalid_callee_arg.stderr	736	log plain
-rw-r--r--	cast_fn_ptr_invalid_callee_ret.rs	984	log plain
-rw-r--r--	cast_fn_ptr_invalid_callee_ret.stderr	759	log plain
-rw-r--r--	cast_fn_ptr_invalid_caller_arg.rs	920	log plain
-rw-r--r--	cast_fn_ptr_invalid_caller_arg.stderr	975	log plain
-rw-r--r--	cast_fn_ptr_invalid_caller_ret.rs	497	log plain
-rw-r--r--	cast_fn_ptr_invalid_caller_ret.stderr	715	log plain
-rw-r--r--	dangling_ref1.rs	233	log plain
-rw-r--r--	dangling_ref1.stderr	829	log plain
-rw-r--r--	dangling_ref2.rs	332	log plain
-rw-r--r--	dangling_ref2.stderr	841	log plain
-rw-r--r--	dangling_ref3.rs	307	log plain
-rw-r--r--	dangling_ref3.stderr	801	log plain
-rw-r--r--	invalid_bool.rs	104	log plain
-rw-r--r--	invalid_bool.stderr	785	log plain
-rw-r--r--	invalid_bool_op.rs	391	log plain
-rw-r--r--	invalid_bool_op.stderr	731	log plain
-rw-r--r--	invalid_bool_uninit.rs	189	log plain
-rw-r--r--	invalid_bool_uninit.stderr	833	log plain
-rw-r--r--	invalid_char.rs	299	log plain
-rw-r--r--	invalid_char.stderr	926	log plain
-rw-r--r--	invalid_char_op.rs	442	log plain
-rw-r--r--	invalid_char_op.stderr	687	log plain
-rw-r--r--	invalid_char_uninit.rs	189	log plain
-rw-r--r--	invalid_char_uninit.stderr	859	log plain
-rw-r--r--	invalid_enum_op.rs	436	log plain
-rw-r--r--	invalid_enum_op.stderr	677	log plain
-rw-r--r--	invalid_enum_tag.rs	240	log plain
-rw-r--r--	invalid_enum_tag.stderr	839	log plain
-rw-r--r--	invalid_fnptr_null.rs	146	log plain
-rw-r--r--	invalid_fnptr_null.stderr	785	log plain
-rw-r--r--	invalid_fnptr_uninit.rs	189	log plain
-rw-r--r--	invalid_fnptr_uninit.stderr	853	log plain
-rw-r--r--	invalid_int_op.rs	376	log plain
-rw-r--r--	invalid_int_op.stderr	831	log plain
-rw-r--r--	invalid_wide_raw.rs	284	log plain
-rw-r--r--	invalid_wide_raw.stderr	838	log plain
-rw-r--r--	match_binder_checks_validity1.rs	352	log plain
-rw-r--r--	match_binder_checks_validity1.stderr	790	log plain
-rw-r--r--	match_binder_checks_validity2.rs	334	log plain
-rw-r--r--	match_binder_checks_validity2.stderr	766	log plain
-rw-r--r--	nonzero.rs	383	log plain
-rw-r--r--	nonzero.stderr	779	log plain
-rw-r--r--	ref_to_uninhabited1.rs	215	log plain
-rw-r--r--	ref_to_uninhabited1.stderr	785	log plain
-rw-r--r--	ref_to_uninhabited2.rs	195	log plain
-rw-r--r--	ref_to_uninhabited2.stderr	823	log plain
-rw-r--r--	too-big-slice.rs	240	log plain
-rw-r--r--	too-big-slice.stderr	877	log plain
-rw-r--r--	too-big-unsized.rs	424	log plain
-rw-r--r--	too-big-unsized.stderr	915	log plain
-rw-r--r--	transmute_through_ptr.rs	570	log plain
-rw-r--r--	transmute_through_ptr.stderr	816	log plain
-rw-r--r--	uninit_float.rs	446	log plain
-rw-r--r--	uninit_float.stderr	877	log plain
-rw-r--r--	uninit_integer.rs	335	log plain
-rw-r--r--	uninit_integer.stderr	903	log plain
-rw-r--r--	uninit_raw_ptr.rs	255	log plain
-rw-r--r--	uninit_raw_ptr.stderr	917	log plain