Decision #567 — `library/core/src/ptr/mod.rs:825`

Status: no_witness

Truth table

row	c0 br 3822	c1 br 3824	c2 br 3825	c3 br 3826	c4 br 3827	c5 br 3828	c6 br 3829	c7 br 3830	c8 br 3831	c9 br 3832	outcome
988	*	*	*	*	*	T	*	*	*	*	T
989	*	*	*	*	*	T	*	*	*	*	T
990	*	*	*	*	*	T	*	*	*	*	T
991	*	*	*	*	*	T	*	*	*	*	T
992	*	*	*	*	*	T	F	T	*	*	T
4781	*	*	*	*	*	T	*	*	*	*	T
4782	*	*	*	*	*	T	*	*	*	*	T
4783	*	*	*	*	*	T	*	*	*	*	T
4784	*	*	*	*	*	T	*	*	*	*	T
4785	*	*	*	*	*	T	F	T	*	*	T
8512	*	*	*	*	*	T	*	*	*	*	T
8513	*	*	*	*	*	T	*	*	*	*	T
8514	*	*	*	*	*	T	*	*	*	*	T
8515	*	*	*	*	*	T	*	*	*	*	T
8516	*	*	*	*	*	T	F	F	F	T	T
8517	*	*	*	*	*	*	*	*	*	T	T
8518	*	*	*	*	*	*	*	*	*	T	T
8519	*	*	*	*	*	*	*	*	*	T	T
8520	*	*	*	*	*	*	*	*	*	F	T
11976	*	*	*	*	*	T	F	T	*	*	T
13352	*	*	*	*	*	T	F	T	*	*	T
14677	*	*	*	*	*	T	F	T	*	*	T
16594	*	*	*	*	*	T	F	T	*	*	T
26074	*	*	*	*	*	T	F	T	*	*	T
35697	*	*	*	*	*	T	F	T	*	*	T
41910	*	*	*	*	*	T	F	T	*	*	T
48029	F	F	T	T	*	*	*	*	*	*	T
48030	F	*	*	F	F	T	*	*	*	*	T
48031	*	*	*	*	*	T	*	*	*	*	T
48032	*	*	*	*	*	T	F	T	*	*	T
52198	F	F	T	T	*	*	*	*	*	*	T
52199	F	*	*	F	F	T	*	*	*	*	T
52200	*	*	*	*	*	T	*	*	*	*	T
52201	*	*	*	*	*	T	F	F	F	T	T
52202	*	*	*	*	*	*	*	*	*	T	T
52203	*	*	*	*	*	*	*	*	*	F	T
56736	F	F	T	T	*	*	*	*	*	*	T
56737	F	*	*	F	F	T	*	*	*	*	T
56738	*	*	*	*	*	T	*	*	*	*	T
56739	*	*	*	*	*	T	F	F	F	T	T
56740	*	*	*	*	*	*	*	*	*	T	T
56741	*	*	*	*	*	*	*	*	*	F	T
60953	F	F	T	T	*	*	*	*	*	*	T
60954	F	*	*	F	F	T	*	*	*	*	T
60955	*	*	*	*	*	T	*	*	*	*	T
60956	*	*	*	*	*	T	F	T	*	*	T
65190	*	*	*	*	*	T	F	T	*	*	T
76703	*	*	*	*	*	T	F	T	*	*	T
88438	*	*	*	*	*	T	*	*	*	*	T
88439	*	*	*	*	*	T	*	*	*	*	T
88440	*	*	*	*	*	T	*	*	*	*	T
88441	*	*	*	*	*	T	*	*	*	*	T
88442	*	*	*	*	*	T	*	*	*	*	T
88443	*	*	*	*	*	T	F	T	*	*	T
92706	*	*	*	*	*	T	*	*	*	*	T
92707	*	*	*	*	*	T	*	*	*	*	T
92708	*	*	*	*	*	T	*	*	*	*	T
92709	*	*	*	*	*	T	*	*	*	*	T
92710	*	*	*	*	*	T	*	*	*	*	T
92711	*	*	*	*	*	T	F	T	*	*	T
96165	*	*	*	*	*	T	*	*	*	*	T
96166	*	*	*	*	*	T	*	*	*	*	T
96167	*	*	*	*	*	T	F	T	*	*	T
98039	*	*	*	*	*	T	F	T	*	*	T
99556	*	*	*	*	*	T	F	T	*	*	T
100972	*	*	*	*	*	T	F	T	*	*	T
102686	*	*	*	*	*	T	F	T	*	*	T
105958	*	*	*	*	*	T	*	*	*	*	T
105959	*	*	*	*	*	T	*	*	*	*	T
105960	*	*	*	*	*	T	F	T	*	*	T
109038	*	*	*	*	*	T	F	T	*	*	T
111738	*	*	*	*	*	T	*	*	*	*	T
111739	*	*	*	*	*	T	F	T	*	*	T
114619	*	*	*	*	*	T	F	T	*	*	T
118653	*	*	*	*	*	T	F	T	*	*	T
141589	*	*	*	*	*	T	F	T	*	*	T
163260	*	*	*	*	*	T	F	T	*	*	T
164831	*	*	*	*	*	T	F	F	F	F	T
166553	*	*	*	*	*	T	F	F	F	F	T

Independent-effect pairs

c0 (branch 3822): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415
c1 (branch 3824): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415
c2 (branch 3825): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415 ← library/core/src/ptr/mod.rs:825
c3 (branch 3826): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415
c4 (branch 3827): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c5 (branch 3828): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c6 (branch 3829): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c7 (branch 3830): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415 ← library/core/src/ptr/mod.rs:825
c8 (branch 3831): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415
c9 (branch 3832): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2415 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825

← back to scry-mcdc

Decision #567 — library/core/src/ptr/mod.rs:825

Truth table

Independent-effect pairs

Decision #567 — `library/core/src/ptr/mod.rs:825`