Decision #370 — `library/core/src/ptr/mod.rs:1933`

Status: no_witness

Truth table

row	c0 br 2386	c1 br 2387	c2 br 2388	c3 br 2389	c4 br 2403	c5 br 2404	c6 br 2405	outcome
444	*	*	*	*	F	T	F	T
445	*	*	*	*	F	T	F	T
446	*	*	*	*	F	T	F	T
447	*	*	*	*	F	T	F	T
448	*	*	*	*	F	T	F	T
449	*	*	*	*	F	T	F	T
450	*	*	*	*	F	T	F	T
451	*	*	*	*	F	T	F	T
452	*	*	*	*	F	T	F	T
453	*	*	*	*	F	T	F	T
454	*	*	*	*	F	T	F	T
455	*	*	*	*	F	T	F	T
4238	*	*	*	*	F	T	F	T
4239	*	*	*	*	F	T	F	T
4240	*	*	*	*	F	T	F	T
4241	*	*	*	*	F	T	F	T
4242	*	*	*	*	F	T	F	T
4243	*	*	*	*	F	T	F	T
4244	*	*	*	*	F	T	F	T
4245	*	*	*	*	F	T	F	T
4246	*	*	*	*	F	T	F	T
4247	*	*	*	*	F	T	F	T
4248	*	*	*	*	F	T	F	T
4249	*	*	*	*	F	T	F	T
7921	*	*	*	*	F	T	F	T
7922	*	*	*	*	F	T	F	T
7923	*	*	*	*	F	T	F	T
7924	*	*	*	*	F	T	F	T
7925	*	*	*	*	F	T	F	T
7926	*	*	*	*	F	T	F	T
7927	*	*	*	*	F	T	F	T
7928	*	*	*	*	F	T	F	T
7929	*	*	*	*	F	T	F	T
7930	*	*	*	*	F	T	F	T
7931	*	*	*	*	F	T	F	T
7932	*	*	*	*	F	T	F	T
11834	*	*	*	*	F	T	F	T
11835	*	*	*	*	F	T	F	T
11836	*	*	*	*	F	T	F	T
11837	*	*	*	*	F	T	F	T
11838	*	*	*	*	F	T	F	T
11839	*	*	*	*	F	T	F	T
13210	*	*	*	*	F	T	F	T
13211	*	*	*	*	F	T	F	T
13212	*	*	*	*	F	T	F	T
13213	*	*	*	*	F	T	F	T
13214	*	*	*	*	F	T	F	T
13215	*	*	*	*	F	T	F	T
14535	*	*	*	*	F	T	F	T
14536	*	*	*	*	F	T	F	T
14537	*	*	*	*	F	T	F	T
14538	*	*	*	*	F	T	F	T
14539	*	*	*	*	F	T	F	T
14540	*	*	*	*	F	T	F	T
16337	T	F	F	F	F	T	F	T
16338	T	F	F	F	F	F	*	T
16339	*	*	*	*	F	T	F	T
16340	*	*	*	*	F	T	F	T
16341	*	*	*	*	F	T	F	T
16342	*	*	*	*	F	F	*	T
16343	*	*	*	*	F	T	F	T
16344	*	*	*	*	F	T	F	T
25817	T	F	F	F	F	T	F	T
25818	T	F	F	F	F	F	*	T
25819	*	*	*	*	F	T	F	T
25820	*	*	*	*	F	T	F	T
25821	*	*	*	*	F	T	F	T
25822	*	*	*	*	F	F	*	T
25823	*	*	*	*	F	T	F	T
25824	*	*	*	*	F	T	F	T
35397	*	*	*	*	F	T	F	T
35398	*	*	*	*	F	T	F	T
35399	*	*	*	*	F	T	F	T
35400	*	*	*	*	F	F	*	T
35401	*	*	*	*	F	T	F	T
35402	*	*	*	*	F	T	F	T
41610	*	*	*	*	F	T	F	T
41611	*	*	*	*	F	T	F	T
41612	*	*	*	*	F	T	F	T
41613	*	*	*	*	F	F	*	T
41614	*	*	*	*	F	T	F	T
41615	*	*	*	*	F	T	F	T
47648	*	*	*	*	F	T	F	T
47649	*	*	*	*	F	T	F	T
47650	*	*	*	*	F	T	F	T
47651	*	*	*	*	F	T	F	T
47652	*	*	*	*	F	T	F	T
47653	*	*	*	*	F	T	F	T
47654	*	*	*	*	F	T	F	T
47655	*	*	*	*	F	T	F	T
47656	*	*	*	*	F	T	F	T
47657	*	*	*	*	F	T	F	T
47658	*	*	*	*	F	T	F	T
47659	*	*	*	*	F	T	F	T
47660	*	*	*	*	F	T	F	T
47661	*	*	*	*	F	T	F	T
51776	*	*	*	*	F	T	F	T
51777	*	*	*	*	F	T	F	T
51778	*	*	*	*	F	T	F	T
51779	*	*	*	*	F	T	F	T
51780	*	*	*	*	F	T	F	T
51781	*	*	*	*	F	T	F	T
51782	*	*	*	*	F	T	F	T
51783	*	*	*	*	F	T	F	T
51784	*	*	*	*	F	T	F	T
51785	*	*	*	*	F	T	F	T
51786	*	*	*	*	F	T	F	T
51787	*	*	*	*	F	T	F	T
51788	*	*	*	*	F	T	F	T
51789	*	*	*	*	F	T	F	T
56314	*	*	*	*	F	T	F	T
56315	*	*	*	*	F	T	F	T
56316	*	*	*	*	F	T	F	T
56317	*	*	*	*	F	T	F	T
56318	*	*	*	*	F	T	F	T
56319	*	*	*	*	F	T	F	T
56320	*	*	*	*	F	T	F	T
56321	*	*	*	*	F	T	F	T
56322	*	*	*	*	F	T	F	T
56323	*	*	*	*	F	T	F	T
56324	*	*	*	*	F	T	F	T
56325	*	*	*	*	F	T	F	T
56326	*	*	*	*	F	T	F	T
56327	*	*	*	*	F	T	F	T
60572	*	*	*	*	F	T	F	T
60573	*	*	*	*	F	T	F	T
60574	*	*	*	*	F	T	F	T
60575	*	*	*	*	F	T	F	T
60576	*	*	*	*	F	T	F	T
60577	*	*	*	*	F	T	F	T
60578	*	*	*	*	F	T	F	T
60579	*	*	*	*	F	T	F	T
60580	*	*	*	*	F	T	F	T
60581	*	*	*	*	F	T	F	T
60582	*	*	*	*	F	T	F	T
60583	*	*	*	*	F	T	F	T
60584	*	*	*	*	F	T	F	T
60585	*	*	*	*	F	T	F	T
64901	T	F	F	F	*	*	*	T
64902	T	F	F	F	*	*	*	T
64903	T	F	F	F	*	*	*	T
64904	T	F	F	F	*	*	*	T
64905	T	F	F	F	*	*	*	T
64906	T	F	F	F	*	*	*	T
64907	T	F	F	F	F	T	F	T
64908	T	F	F	F	F	F	*	T
64909	*	*	*	*	F	T	F	T
64910	*	*	*	*	F	T	F	T
64911	*	*	*	*	F	T	F	T
64912	*	*	*	*	F	F	*	T
64913	*	*	*	*	F	T	F	T
64914	*	*	*	*	F	T	F	T
76414	T	F	F	F	*	*	*	T
76415	T	F	F	F	*	*	*	T
76416	T	F	F	F	*	*	*	T
76417	T	F	F	F	*	*	*	T
76418	T	F	F	F	*	*	*	T
76419	T	F	F	F	*	*	*	T
76420	T	F	F	F	F	T	F	T
76421	T	F	F	F	F	F	*	T
76422	*	*	*	*	F	T	F	T
76423	*	*	*	*	F	T	F	T
76424	*	*	*	*	F	T	F	T
76425	*	*	*	*	F	F	*	T
76426	*	*	*	*	F	T	F	T
76427	*	*	*	*	F	T	F	T
87878	*	*	*	*	F	T	F	T
87879	*	*	*	*	F	T	F	T
87880	*	*	*	*	F	T	F	T
87881	*	*	*	*	F	T	F	T
87882	*	*	*	*	F	T	F	T
87883	*	*	*	*	F	T	F	T
87884	*	*	*	*	F	T	F	T
87885	*	*	*	*	F	T	F	T
87886	*	*	*	*	F	T	F	T
87887	*	*	*	*	F	T	F	T
87888	*	*	*	*	F	T	F	T
87889	*	*	*	*	F	T	F	T
87890	*	*	*	*	F	T	F	T
87891	*	*	*	*	F	T	F	T
87892	*	*	*	*	F	T	F	T
87893	*	*	*	*	F	T	F	T
87894	*	*	*	*	F	T	F	T
87895	*	*	*	*	F	T	F	T
87896	*	*	*	*	F	T	F	T
87897	*	*	*	*	F	T	F	T
87898	*	*	*	*	F	T	F	T
87899	*	*	*	*	F	T	F	T
87900	*	*	*	*	F	T	F	T
87901	*	*	*	*	F	T	F	T
92146	*	*	*	*	F	T	F	T
92147	*	*	*	*	F	T	F	T
92148	*	*	*	*	F	T	F	T
92149	*	*	*	*	F	T	F	T
92150	*	*	*	*	F	T	F	T
92151	*	*	*	*	F	T	F	T
92152	*	*	*	*	F	T	F	T
92153	*	*	*	*	F	T	F	T
92154	*	*	*	*	F	T	F	T
92155	*	*	*	*	F	T	F	T
92156	*	*	*	*	F	T	F	T
92157	*	*	*	*	F	T	F	T
92158	*	*	*	*	F	T	F	T
92159	*	*	*	*	F	T	F	T
92160	*	*	*	*	F	T	F	T
92161	*	*	*	*	F	T	F	T
92162	*	*	*	*	F	T	F	T
92163	*	*	*	*	F	T	F	T
92164	*	*	*	*	F	T	F	T
92165	*	*	*	*	F	T	F	T
92166	*	*	*	*	F	T	F	T
92167	*	*	*	*	F	T	F	T
92168	*	*	*	*	F	T	F	T
92169	*	*	*	*	F	T	F	T
95917	*	*	*	*	F	F	*	T
95918	*	*	*	*	F	F	*	T
97890	*	*	*	*	F	T	F	T
97891	*	*	*	*	F	T	F	T
97892	*	*	*	*	F	T	F	T
97893	*	*	*	*	F	T	F	T
97894	*	*	*	*	F	T	F	T
99408	*	*	*	*	F	T	F	T
99409	*	*	*	*	F	T	F	T
99410	*	*	*	*	F	T	F	T
99411	*	*	*	*	F	T	F	T
99412	*	*	*	*	F	T	F	T
100823	*	*	*	*	F	T	F	T
100824	*	*	*	*	F	T	F	T
100825	*	*	*	*	F	T	F	T
100826	*	*	*	*	F	T	F	T
100827	*	*	*	*	F	T	F	T
102486	*	*	*	*	F	T	F	T
102487	*	*	*	*	F	T	F	T
102488	*	*	*	*	F	T	F	T
102489	*	*	*	*	F	F	*	T
102490	*	*	*	*	F	T	F	T
102491	*	*	*	*	F	T	F	T
102492	*	*	*	*	F	T	F	T
102493	*	*	*	*	F	F	*	T
102494	*	*	*	*	F	T	F	T
102495	*	*	*	*	F	T	F	T
105430	*	*	*	*	F	T	F	T
105431	*	*	*	*	F	T	F	T
105432	*	*	*	*	F	T	F	T
105433	*	*	*	*	F	F	*	T
105434	*	*	*	*	F	T	F	T
105435	*	*	*	*	F	T	F	T
105436	*	*	*	*	F	T	F	T
105437	*	*	*	*	F	F	*	T
105438	*	*	*	*	F	T	F	T
105439	*	*	*	*	F	T	F	T
105440	*	*	*	*	F	T	F	T
105441	*	*	*	*	F	T	F	T
105442	*	*	*	*	F	T	F	T
105443	*	*	*	*	F	F	*	T
105444	*	*	*	*	F	T	F	T
105445	*	*	*	*	F	T	F	T
105446	*	*	*	*	F	T	F	T
105447	*	*	*	*	F	T	F	T
105448	*	*	*	*	F	T	F	T
105449	*	*	*	*	F	T	F	T
105450	*	*	*	*	F	T	F	T
105451	*	*	*	*	F	T	F	T
105452	*	*	*	*	F	T	F	T
105453	*	*	*	*	F	F	*	T
105454	*	*	*	*	F	T	F	T
105455	*	*	*	*	F	T	F	T
105456	*	*	*	*	F	T	F	T
105457	*	*	*	*	F	T	F	T
105458	*	*	*	*	F	T	F	T
105459	*	*	*	*	F	T	F	T
108879	*	*	*	*	F	T	F	T
108880	*	*	*	*	F	T	F	T
108881	*	*	*	*	F	T	F	T
108882	*	*	*	*	F	F	*	T
108883	*	*	*	*	F	T	F	T
108884	*	*	*	*	F	T	F	T
111255	*	*	*	*	F	T	F	T
111256	*	*	*	*	F	T	F	T
111257	*	*	*	*	F	T	F	T
111258	*	*	*	*	F	F	*	T
111259	*	*	*	*	F	T	F	T
111260	*	*	*	*	F	T	F	T
111261	*	*	*	*	F	T	F	T
111262	*	*	*	*	F	T	F	T
111263	*	*	*	*	F	T	F	T
111264	*	*	*	*	F	T	F	T
111265	*	*	*	*	F	T	F	T
111266	*	*	*	*	F	T	F	T
111267	*	*	*	*	F	F	*	T
111268	*	*	*	*	F	T	F	T
111269	*	*	*	*	F	T	F	T
111270	*	*	*	*	F	T	F	T
111271	*	*	*	*	F	T	F	T
111272	*	*	*	*	F	T	F	T
114335	*	*	*	*	F	T	F	T
114336	*	*	*	*	F	T	F	T
114337	*	*	*	*	F	T	F	T
114338	*	*	*	*	F	F	*	T
114339	*	*	*	*	F	T	F	T
114340	*	*	*	*	F	T	F	T
114341	*	*	*	*	F	T	F	T
114342	*	*	*	*	F	T	F	T
118250	T	F	F	F	F	T	F	T
118251	T	F	F	F	F	F	*	T
118252	*	*	*	*	F	T	F	T
118253	*	*	*	*	F	T	F	T
118254	*	*	*	*	F	T	F	T
118255	*	*	*	*	F	F	*	T
118256	*	*	*	*	F	T	F	T
118257	*	*	*	*	F	T	F	T
141186	T	F	F	F	F	T	F	T
141187	T	F	F	F	F	F	*	T
141188	*	*	*	*	F	T	F	T
141189	*	*	*	*	F	T	F	T
141190	*	*	*	*	F	T	F	T
141191	*	*	*	*	F	F	*	T
141192	*	*	*	*	F	T	F	T
141193	*	*	*	*	F	T	F	T
163135	*	*	*	*	F	T	F	T
163136	*	*	*	*	F	T	F	T
163137	*	*	*	*	F	T	F	T
163138	*	*	*	*	F	T	F	T
164690	*	*	*	*	F	T	F	T
164691	*	*	*	*	F	T	F	T
164692	*	*	*	*	F	T	F	T
164693	*	*	*	*	F	T	F	T
166412	*	*	*	*	F	T	F	T
166413	*	*	*	*	F	T	F	T
166414	*	*	*	*	F	T	F	T
166415	*	*	*	*	F	T	F	T

Independent-effect pairs

c0 (branch 2386): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3014 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045
c1 (branch 2387): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3014 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045
c2 (branch 2388): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3014 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045
c3 (branch 2389): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3014 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045
c4 (branch 2403): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3075 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045
c5 (branch 2404): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3075 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045
c6 (branch 2405): GAP view gap →
<scry_analyze_core::Interp>::seq · br_if
inlined: lib.rs:3075 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045

← back to scry-mcdc

Decision #370 — library/core/src/ptr/mod.rs:1933

Truth table

Independent-effect pairs

Decision #370 — `library/core/src/ptr/mod.rs:1933`