litmus « pass « genmc « tests « miri « tools « src - rust

Mode	Name	Size
-rw-r--r--	2cowr.rs	1326	log plain
-rw-r--r--	2cowr.stderr	88	log plain
-rw-r--r--	2w2w_2sc_scf.rs	813	log plain
-rw-r--r--	2w2w_2sc_scf.stderr	88	log plain
-rw-r--r--	2w2w_3sc_1rel.release1.stderr	88	log plain
-rw-r--r--	2w2w_3sc_1rel.release2.stderr	88	log plain
-rw-r--r--	2w2w_3sc_1rel.rs	1618	log plain
-rw-r--r--	2w2w_4rel.rs	1457	log plain
-rw-r--r--	2w2w_4rel.sc.stderr	88	log plain
-rw-r--r--	2w2w_4rel.weak.stderr	88	log plain
-rw-r--r--	2w2w_4sc.rs	1212	log plain
-rw-r--r--	2w2w_4sc.stderr	88	log plain
-rw-r--r--	IRIW-acq-sc.rs	1640	log plain
-rw-r--r--	IRIW-acq-sc.stderr	89	log plain
-rw-r--r--	IRIWish.rs	2152	log plain
-rw-r--r--	IRIWish.stderr	537	log plain
-rw-r--r--	LB.rs	1211	log plain
-rw-r--r--	LB.stderr	88	log plain
-rw-r--r--	LB_incMPs.rs	1007	log plain
-rw-r--r--	LB_incMPs.stderr	89	log plain
-rw-r--r--	MP.rs	1211	log plain
-rw-r--r--	MP.stderr	88	log plain
-rw-r--r--	MPU2_rels_acqf.rs	1956	log plain
-rw-r--r--	MPU2_rels_acqf.stderr	1289	log plain
-rw-r--r--	MPU_rels_acq.rs	1170	log plain
-rw-r--r--	MPU_rels_acq.stderr	89	log plain
-rw-r--r--	MP_incMPs.rs	846	log plain
-rw-r--r--	MP_incMPs.stderr	88	log plain
-rw-r--r--	MP_rels_acqf.rs	1143	log plain
-rw-r--r--	MP_rels_acqf.stderr	88	log plain
-rw-r--r--	SB.rs	1220	log plain
-rw-r--r--	SB.stderr	88	log plain
-rw-r--r--	SB_2sc_scf.rs	732	log plain
-rw-r--r--	SB_2sc_scf.stderr	88	log plain
-rw-r--r--	Z6_U.rs	2041	log plain
-rw-r--r--	Z6_U.sc.stderr	431	log plain
-rw-r--r--	Z6_U.weak.stderr	507	log plain
-rw-r--r--	Z6_acq.rs	930	log plain
-rw-r--r--	Z6_acq.stderr	88	log plain
-rw-r--r--	atomicpo.rs	738	log plain
-rw-r--r--	atomicpo.stderr	88	log plain
-rw-r--r--	casdep.rs	963	log plain
-rw-r--r--	casdep.stderr	88	log plain
-rw-r--r--	ccr.rs	891	log plain
-rw-r--r--	ccr.stderr	88	log plain
-rw-r--r--	cii.rs	880	log plain
-rw-r--r--	cii.stderr	88	log plain
-rw-r--r--	corr.rs	1165	log plain
-rw-r--r--	corr.stderr	88	log plain
-rw-r--r--	corr0.rs	1166	log plain
-rw-r--r--	corr0.stderr	88	log plain
-rw-r--r--	corr1.rs	1784	log plain
-rw-r--r--	corr1.stderr	89	log plain
-rw-r--r--	corr2.rs	2315	log plain
-rw-r--r--	corr2.stderr	89	log plain
-rw-r--r--	corw.rs	1078	log plain
-rw-r--r--	corw.stderr	88	log plain
-rw-r--r--	cowr.rs	936	log plain
-rw-r--r--	cowr.stderr	88	log plain
-rw-r--r--	cumul-release.rs	1575	log plain
-rw-r--r--	cumul-release.stderr	88	log plain
-rw-r--r--	default.rs	1239	log plain
-rw-r--r--	default.stderr	89	log plain
-rw-r--r--	detour.join.stderr	88	log plain
-rw-r--r--	detour.no_join.stderr	88	log plain
-rw-r--r--	detour.rs	2111	log plain
-rw-r--r--	fr_w_w_w_reads.rs	1413	log plain
-rw-r--r--	fr_w_w_w_reads.stderr	90	log plain
-rw-r--r--	inc2w.rs	1129	log plain
-rw-r--r--	inc2w.stderr	88	log plain
-rw-r--r--	inc_inc_RR_W_RR.rs	1443	log plain
-rw-r--r--	inc_inc_RR_W_RR.stderr	90	log plain
-rw-r--r--	riwi.rs	694	log plain
-rw-r--r--	riwi.stderr	88	log plain
-rw-r--r--	viktor-relseq.rs	956	log plain
-rw-r--r--	viktor-relseq.stderr	171	log plain