Decision #1009 — `library/core/src/ptr/mut_ptr.rs:970`

Status: no_witness

Truth table

row	c0 br 6419	c1 br 6420	c2 br 6421	c3 br 6423	outcome
38193	T	*	F	*	T
38194	T	*	F	*	T
38195	T	*	F	*	T
38196	T	*	F	*	T
38197	F	F	*	F	T
38198	*	*	*	F	T
38199	*	*	*	F	T
38200	*	*	*	F	T
38201	*	*	*	T	T
38202	*	*	*	F	T
38203	*	*	*	F	T
38204	*	*	*	F	T
38205	*	*	*	F	T
38206	*	*	*	T	T
38207	*	*	*	F	T
38208	*	*	*	F	T
38209	*	*	*	F	T
38210	*	*	*	F	T
38211	*	*	*	T	T
38212	*	*	*	F	T
38213	*	*	*	F	T
38214	*	*	*	F	T
38215	*	*	*	F	T
38216	*	*	*	T	T
38217	T	*	F	*	T
38218	T	*	F	*	T
38219	T	*	F	*	T
38220	T	*	F	*	T
38221	F	F	*	F	T
38222	*	*	*	F	T
38223	*	*	*	F	T
38224	*	*	*	F	T
38225	*	*	*	T	T
38226	*	*	*	F	T
38227	*	*	*	F	T
38228	*	*	*	F	T
38229	*	*	*	F	T
38230	*	*	*	T	T
38231	*	*	*	F	T
38232	*	*	*	F	T
38233	*	*	*	F	T
38234	*	*	*	F	T
38235	*	*	*	T	T
38236	*	*	*	F	T
38237	*	*	*	F	T
38238	*	*	*	F	T
38239	*	*	*	F	T
38240	*	*	*	T	T
59047	T	*	F	*	T
59048	T	*	F	*	T
59049	T	*	F	*	T
59050	T	*	F	*	T
59051	F	F	*	F	T
59052	*	*	*	F	T
59053	*	*	*	F	T
59054	*	*	*	F	T
59055	*	*	*	T	T
59056	*	*	*	F	T
59057	*	*	*	F	T
59058	*	*	*	F	T
59059	*	*	*	F	T
59060	*	*	*	T	T
59061	*	*	*	F	T
59062	*	*	*	F	T
59063	*	*	*	F	T
59064	*	*	*	F	T
59065	*	*	*	T	T
59066	*	*	*	F	T
59067	*	*	*	F	T
59068	*	*	*	F	T
59069	*	*	*	F	T
59070	*	*	*	T	T
59071	T	*	F	*	T
59072	T	*	F	*	T
59073	T	*	F	*	T
59074	T	*	F	*	T
59075	F	F	*	F	T
59076	*	*	*	F	T
59077	*	*	*	F	T
59078	*	*	*	F	T
59079	*	*	*	T	T
59080	*	*	*	F	T
59081	*	*	*	F	T
59082	*	*	*	F	T
59083	*	*	*	F	T
59084	*	*	*	T	T
59085	*	*	*	F	T
59086	*	*	*	F	T
59087	*	*	*	F	T
59088	*	*	*	F	T
59089	*	*	*	T	T
59090	*	*	*	F	T
59091	*	*	*	F	T
59092	*	*	*	F	T
59093	*	*	*	F	T
59094	*	*	*	T	T
74725	T	*	F	*	T
74726	T	*	F	*	T
74727	F	F	*	F	T
74728	*	*	*	F	T
74729	*	*	*	T	T
74730	*	*	*	F	T
74731	*	*	*	F	T
74732	*	*	*	T	T
74733	T	*	F	*	T
74734	T	*	F	*	T
74735	F	F	*	F	T
74736	*	*	*	F	T
74737	*	*	*	T	T
74738	*	*	*	F	T
74739	*	*	*	F	T
74740	*	*	*	T	T
84608	T	*	F	*	T
84609	T	*	F	*	T
84610	F	F	*	F	T
84611	*	*	*	F	T
84612	*	*	*	T	T
84613	*	*	*	F	T
84614	*	*	*	F	T
84615	*	*	*	T	T
84616	T	*	F	*	T
84617	T	*	F	*	T
84618	F	F	*	F	T
84619	*	*	*	F	T
84620	*	*	*	T	T
84621	*	*	*	F	T
84622	*	*	*	F	T
84623	*	*	*	T	T
131400	T	*	F	*	T
131401	T	*	F	*	T
131402	T	*	F	*	T
131403	T	*	F	*	T
131404	F	F	*	F	T
131405	*	*	*	F	T
131406	*	*	*	F	T
131407	*	*	*	F	T
131408	*	*	*	T	T
131409	*	*	*	F	T
131410	*	*	*	F	T
131411	*	*	*	F	T
131412	*	*	*	F	T
131413	*	*	*	T	T
131414	*	*	*	F	T
131415	*	*	*	F	T
131416	*	*	*	F	T
131417	*	*	*	F	T
131418	*	*	*	T	T
131419	*	*	*	F	T
131420	*	*	*	F	T
131421	*	*	*	F	T
131422	*	*	*	F	T
131423	*	*	*	T	T
131424	T	*	F	*	T
131425	T	*	F	*	T
131426	T	*	F	*	T
131427	T	*	F	*	T
131428	F	F	*	F	T
131429	*	*	*	F	T
131430	*	*	*	F	T
131431	*	*	*	F	T
131432	*	*	*	T	T
131433	*	*	*	F	T
131434	*	*	*	F	T
131435	*	*	*	F	T
131436	*	*	*	F	T
131437	*	*	*	T	T
131438	*	*	*	F	T
131439	*	*	*	F	T
131440	*	*	*	F	T
131441	*	*	*	F	T
131442	*	*	*	T	T
131443	*	*	*	F	T
131444	*	*	*	F	T
131445	*	*	*	F	T
131446	*	*	*	F	T
131447	*	*	*	T	T
148119	T	*	F	*	T
148120	T	*	F	*	T
148121	T	*	F	*	T
148122	T	*	F	*	T
148123	F	F	*	F	T
148124	*	*	*	F	T
148125	*	*	*	F	T
148126	*	*	*	F	T
148127	*	*	*	T	T
148128	*	*	*	F	T
148129	*	*	*	F	T
148130	*	*	*	F	T
148131	*	*	*	F	T
148132	*	*	*	T	T
148133	*	*	*	F	T
148134	*	*	*	F	T
148135	*	*	*	F	T
148136	*	*	*	F	T
148137	*	*	*	T	T
148138	*	*	*	F	T
148139	*	*	*	F	T
148140	*	*	*	F	T
148141	*	*	*	F	T
148142	*	*	*	T	T
148143	T	*	F	*	T
148144	T	*	F	*	T
148145	T	*	F	*	T
148146	T	*	F	*	T
148147	F	F	*	F	T
148148	*	*	*	F	T
148149	*	*	*	F	T
148150	*	*	*	F	T
148151	*	*	*	T	T
148152	*	*	*	F	T
148153	*	*	*	F	T
148154	*	*	*	F	T
148155	*	*	*	F	T
148156	*	*	*	T	T
148157	*	*	*	F	T
148158	*	*	*	F	T
148159	*	*	*	F	T
148160	*	*	*	F	T
148161	*	*	*	T	T
148162	*	*	*	F	T
148163	*	*	*	F	T
148164	*	*	*	F	T
148165	*	*	*	F	T
148166	*	*	*	T	T
251203	T	*	F	*	T
251204	T	*	F	*	T
251205	T	*	F	*	T
251206	T	*	F	*	T
251207	F	F	*	F	T
251208	*	*	*	F	T
251209	*	*	*	F	T
251210	*	*	*	F	T
251211	*	*	*	T	T
251212	*	*	*	F	T
251213	*	*	*	F	T
251214	*	*	*	F	T
251215	*	*	*	F	T
251216	*	*	*	T	T
251217	*	*	*	F	T
251218	*	*	*	F	T
251219	*	*	*	F	T
251220	*	*	*	F	T
251221	*	*	*	T	T
251222	*	*	*	F	T
251223	*	*	*	F	T
251224	*	*	*	F	T
251225	*	*	*	F	T
251226	*	*	*	T	T
251227	T	*	F	*	T
251228	T	*	F	*	T
251229	T	*	F	*	T
251230	T	*	F	*	T
251231	F	F	*	F	T
251232	*	*	*	F	T
251233	*	*	*	F	T
251234	*	*	*	F	T
251235	*	*	*	T	T
251236	*	*	*	F	T
251237	*	*	*	F	T
251238	*	*	*	F	T
251239	*	*	*	F	T
251240	*	*	*	T	T
251241	*	*	*	F	T
251242	*	*	*	F	T
251243	*	*	*	F	T
251244	*	*	*	F	T
251245	*	*	*	T	T
251246	*	*	*	F	T
251247	*	*	*	F	T
251248	*	*	*	F	T
251249	*	*	*	F	T
251250	*	*	*	T	T
328580	T	*	F	*	T
328581	T	*	F	*	T
328582	T	*	F	*	T
328583	T	*	F	*	T
328584	F	F	*	F	T
328585	*	*	*	F	T
328586	*	*	*	F	T
328587	*	*	*	F	T
328588	*	*	*	T	T
328589	*	*	*	F	T
328590	*	*	*	F	T
328591	*	*	*	F	T
328592	*	*	*	F	T
328593	*	*	*	T	T
328594	*	*	*	F	T
328595	*	*	*	F	T
328596	*	*	*	F	T
328597	*	*	*	F	T
328598	*	*	*	T	T
328599	*	*	*	F	T
328600	*	*	*	F	T
328601	*	*	*	F	T
328602	*	*	*	F	T
328603	*	*	*	T	T
328604	T	*	F	*	T
328605	T	*	F	*	T
328606	T	*	F	*	T
328607	T	*	F	*	T
328608	F	F	*	F	T
328609	*	*	*	F	T
328610	*	*	*	F	T
328611	*	*	*	F	T
328612	*	*	*	T	T
328613	*	*	*	F	T
328614	*	*	*	F	T
328615	*	*	*	F	T
328616	*	*	*	F	T
328617	*	*	*	T	T
328618	*	*	*	F	T
328619	*	*	*	F	T
328620	*	*	*	F	T
328621	*	*	*	F	T
328622	*	*	*	T	T
328623	*	*	*	F	T
328624	*	*	*	F	T
328625	*	*	*	F	T
328626	*	*	*	F	T
328627	*	*	*	T	T

Independent-effect pairs

All 4 conditions live in scry_octagon::leq — 4 br_if

c0 (branch 6419): GAP view gap →
c1 (branch 6420): GAP view gap →
c2 (branch 6421): GAP view gap →
c3 (branch 6423): GAP view gap →

← back to scry-mcdc

Decision #1009 — library/core/src/ptr/mut_ptr.rs:970

Truth table

Independent-effect pairs

Decision #1009 — `library/core/src/ptr/mut_ptr.rs:970`