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

Mode	Name	Size
-rw-r--r--	alias_through_mutation.rs	657	log plain
-rw-r--r--	alias_through_mutation.stack.stderr	1410	log plain
-rw-r--r--	alias_through_mutation.tree.stderr	1482	log plain
-rw-r--r--	aliasing_mut1.rs	708	log plain
-rw-r--r--	aliasing_mut1.stack.stderr	1437	log plain
-rw-r--r--	aliasing_mut1.tree.stderr	1284	log plain
-rw-r--r--	aliasing_mut2.rs	587	log plain
-rw-r--r--	aliasing_mut2.stack.stderr	1370	log plain
-rw-r--r--	aliasing_mut2.tree.stderr	1232	log plain
-rw-r--r--	aliasing_mut3.rs	592	log plain
-rw-r--r--	aliasing_mut3.stack.stderr	1600	log plain
-rw-r--r--	aliasing_mut3.tree.stderr	1276	log plain
-rw-r--r--	aliasing_mut4.rs	697	log plain
-rw-r--r--	aliasing_mut4.stack.stderr	1402	log plain
-rw-r--r--	aliasing_mut4.tree.stderr	1612	log plain
-rw-r--r--	box_exclusive_violation1.rs	809	log plain
-rw-r--r--	box_exclusive_violation1.stack.stderr	1667	log plain
-rw-r--r--	box_exclusive_violation1.tree.stderr	1715	log plain
-rw-r--r--	box_noalias_violation.rs	461	log plain
-rw-r--r--	box_noalias_violation.stack.stderr	1425	log plain
-rw-r--r--	box_noalias_violation.tree.stderr	1658	log plain
-rw-r--r--	buggy_as_mut_slice.rs	550	log plain
-rw-r--r--	buggy_as_mut_slice.stack.stderr	1438	log plain
-rw-r--r--	buggy_as_mut_slice.tree.stderr	1497	log plain
-rw-r--r--	buggy_split_at_mut.rs	816	log plain
-rw-r--r--	buggy_split_at_mut.stack.stderr	2208	log plain
-rw-r--r--	buggy_split_at_mut.tree.stderr	1479	log plain
-rw-r--r--	illegal_write1.rs	467	log plain
-rw-r--r--	illegal_write1.stack.stderr	1235	log plain
-rw-r--r--	illegal_write1.tree.stderr	872	log plain
-rw-r--r--	illegal_write5.rs	623	log plain
-rw-r--r--	illegal_write5.stack.stderr	1366	log plain
-rw-r--r--	illegal_write5.tree.stderr	1431	log plain
-rw-r--r--	illegal_write6.rs	428	log plain
-rw-r--r--	illegal_write6.stack.stderr	1326	log plain
-rw-r--r--	illegal_write6.tree.stderr	1555	log plain
-rw-r--r--	invalidate_against_protector2.rs	548	log plain
-rw-r--r--	invalidate_against_protector2.stack.stderr	1457	log plain
-rw-r--r--	invalidate_against_protector2.tree.stderr	1384	log plain
-rw-r--r--	invalidate_against_protector3.rs	583	log plain
-rw-r--r--	invalidate_against_protector3.stack.stderr	1506	log plain
-rw-r--r--	invalidate_against_protector3.tree.stderr	1525	log plain
-rw-r--r--	issue-miri-1050-1.rs	279	log plain
-rw-r--r--	issue-miri-1050-1.stack.stderr	1350	log plain
-rw-r--r--	issue-miri-1050-1.tree.stderr	1350	log plain
-rw-r--r--	issue-miri-1050-2.rs	261	log plain
-rw-r--r--	issue-miri-1050-2.stack.stderr	1103	log plain
-rw-r--r--	issue-miri-1050-2.tree.stderr	1103	log plain
-rw-r--r--	load_invalid_shr.rs	579	log plain
-rw-r--r--	load_invalid_shr.stack.stderr	1446	log plain
-rw-r--r--	load_invalid_shr.tree.stderr	1466	log plain
-rw-r--r--	mut_exclusive_violation1.rs	800	log plain
-rw-r--r--	mut_exclusive_violation1.stack.stderr	1657	log plain
-rw-r--r--	mut_exclusive_violation1.tree.stderr	1705	log plain
-rw-r--r--	mut_exclusive_violation2.rs	490	log plain
-rw-r--r--	mut_exclusive_violation2.stack.stderr	1436	log plain
-rw-r--r--	mut_exclusive_violation2.tree.stderr	1452	log plain
-rw-r--r--	newtype_pair_retagging.rs	648	log plain
-rw-r--r--	newtype_pair_retagging.stack.stderr	2101	log plain
-rw-r--r--	newtype_pair_retagging.tree.stderr	2769	log plain
-rw-r--r--	newtype_retagging.rs	611	log plain
-rw-r--r--	newtype_retagging.stack.stderr	2068	log plain
-rw-r--r--	newtype_retagging.tree.stderr	2731	log plain
-rw-r--r--	outdated_local.rs	418	log plain
-rw-r--r--	outdated_local.stack.stderr	1450	log plain
-rw-r--r--	outdated_local.tree.stderr	1216	log plain
-rw-r--r--	pass_invalid_shr.rs	452	log plain
-rw-r--r--	pass_invalid_shr.stack.stderr	1386	log plain
-rw-r--r--	pass_invalid_shr.tree.stderr	1181	log plain
-rw-r--r--	pass_invalid_shr_option.rs	476	log plain
-rw-r--r--	pass_invalid_shr_option.stack.stderr	1681	log plain
-rw-r--r--	pass_invalid_shr_option.tree.stderr	1515	log plain
-rw-r--r--	pass_invalid_shr_tuple.rs	539	log plain
-rw-r--r--	pass_invalid_shr_tuple.stack.stderr	1691	log plain
-rw-r--r--	pass_invalid_shr_tuple.tree.stderr	1527	log plain
-rw-r--r--	retag_data_race_protected_read.rs	1106	log plain
-rw-r--r--	retag_data_race_protected_read.stack.stderr	1060	log plain
-rw-r--r--	retag_data_race_protected_read.tree.stderr	1219	log plain
-rw-r--r--	retag_data_race_write.rs	806	log plain
-rw-r--r--	retag_data_race_write.stack.stderr	1185	log plain
-rw-r--r--	retag_data_race_write.tree.stderr	1183	log plain
-rw-r--r--	return_invalid_shr.rs	474	log plain
-rw-r--r--	return_invalid_shr.stack.stderr	1504	log plain
-rw-r--r--	return_invalid_shr.tree.stderr	1311	log plain
-rw-r--r--	return_invalid_shr_option.rs	568	log plain
-rw-r--r--	return_invalid_shr_option.stack.stderr	1797	log plain
-rw-r--r--	return_invalid_shr_option.tree.stderr	1645	log plain
-rw-r--r--	return_invalid_shr_tuple.rs	503	log plain
-rw-r--r--	return_invalid_shr_tuple.stack.stderr	1775	log plain
-rw-r--r--	return_invalid_shr_tuple.tree.stderr	1615	log plain
-rw-r--r--	shr_frozen_violation1.rs	487	log plain
-rw-r--r--	shr_frozen_violation1.stack.stderr	1504	log plain
-rw-r--r--	shr_frozen_violation1.tree.stderr	1420	log plain
-rw-r--r--	shr_frozen_violation2.rs	457	log plain
-rw-r--r--	shr_frozen_violation2.stack.stderr	1386	log plain
-rw-r--r--	shr_frozen_violation2.tree.stderr	1167	log plain