Decision #59 — `library/core/src/ptr/mod.rs:1721`

Status: no_witness

Truth table

row	c0 br 304	c1 br 417	c2 br 418	c3 br 419	c4 br 420	c5 br 422	c6 br 449	c7 br 450	c8 br 458	c9 br 466	c10 br 467	outcome
240	T	*	*	*	*	*	*	*	*	*	*	T
241	T	*	*	*	*	*	*	*	*	*	*	T
242	T	*	*	*	*	*	*	*	*	*	*	T
243	T	*	*	*	*	*	*	*	*	*	*	T
244	T	*	*	*	*	*	*	*	*	*	*	T
3280	T	*	*	*	*	*	*	*	*	*	*	T
3281	T	*	*	*	*	*	*	*	*	*	*	T
3282	T	*	*	*	*	*	*	*	*	*	*	T
3283	T	*	*	*	*	*	*	*	*	*	*	T
3284	T	*	*	*	*	*	*	*	*	*	*	T
6175	T	*	*	*	*	*	*	*	*	*	*	T
6176	T	*	*	*	*	*	*	*	*	*	*	T
6177	T	*	*	*	*	*	*	*	*	*	*	T
6178	T	*	*	*	*	*	*	*	*	*	*	T
6179	T	*	*	*	*	*	*	*	*	*	*	T
9479	T	F	F	F	F	F	*	*	F	T	F	T
10627	T	F	F	F	F	F	*	*	F	T	F	T
11718	T	F	F	F	F	F	*	*	F	T	F	T
13143	T	*	*	*	*	*	*	*	*	*	*	T
20861	T	*	*	*	*	*	*	*	*	*	*	T
28384	T	*	*	*	*	*	*	*	*	*	*	T
34322	T	*	*	*	*	*	*	*	*	*	*	T
40286	T	F	F	F	F	F	*	*	*	*	*	T
40287	T	*	*	*	*	*	*	*	*	*	*	T
40288	T	*	*	*	*	*	T	F	*	*	*	T
43254	T	F	F	F	F	F	*	*	*	*	*	T
43255	T	*	*	*	*	*	*	*	*	*	*	T
43256	T	*	*	*	*	*	T	F	*	*	*	T
46707	T	F	F	F	F	F	*	*	*	*	*	T
46708	T	*	*	*	*	*	*	*	*	*	*	T
46709	T	*	*	*	*	*	T	F	*	*	*	T
49826	T	F	F	F	F	F	*	*	*	*	*	T
49827	T	*	*	*	*	*	*	*	*	*	*	T
49828	T	*	*	*	*	*	T	F	*	*	*	T
52921	T	*	*	*	*	*	*	*	*	*	*	T
62693	T	*	*	*	*	*	*	*	*	*	*	T
72382	T	F	F	F	F	F	*	*	*	*	*	T
72383	T	F	F	F	F	F	*	*	*	*	*	T
72384	T	*	*	*	*	*	T	F	*	*	*	T
72385	T	*	*	*	*	*	T	F	*	*	*	T
72386	T	*	*	*	*	*	*	*	F	T	F	T
72387	T	*	*	*	*	*	*	*	F	T	F	T
75857	T	F	F	F	F	F	*	*	*	*	*	T
75858	T	F	F	F	F	F	*	*	*	*	*	T
75859	T	*	*	*	*	*	T	F	*	*	*	T
75860	T	*	*	*	*	*	T	F	*	*	*	T
75861	T	*	*	*	*	*	*	*	F	T	F	T
75862	T	*	*	*	*	*	*	*	F	T	F	T
79141	T	*	*	*	*	*	*	*	*	*	*	T
79142	T	*	*	*	*	*	*	*	*	*	*	T
79143	T	*	*	*	*	*	*	*	*	*	*	T
80706	T	F	F	F	F	F	*	*	*	*	*	T
81893	T	F	F	F	F	F	*	*	*	*	*	T
82955	T	F	F	F	F	F	*	*	*	*	*	T
84138	T	*	*	*	*	*	*	*	*	*	*	T
85474	T	*	*	*	*	*	*	*	*	*	*	T
85475	T	*	*	*	*	*	*	*	*	*	*	T
85476	T	*	*	*	*	*	*	*	*	*	*	T
87539	T	*	*	*	*	*	*	*	*	*	*	T
88775	T	*	*	*	*	*	*	*	*	*	*	T
88776	T	*	*	*	*	*	*	*	*	*	*	T
90760	T	*	*	*	*	*	*	*	*	*	*	T
92404	T	*	*	*	*	*	*	*	*	*	*	T
111267	T	*	*	*	*	*	*	*	*	*	*	T
129946	T	F	F	F	F	F	*	*	*	*	*	T
131105	T	F	F	F	F	F	*	*	*	*	*	T
132432	T	F	F	F	F	F	*	*	*	*	*	T

c0 (branch 304): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
inlined: lib.rs:2075 ← library/alloc/src/vec/mod.rs:2823
c1 (branch 417): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
inlined: lib.rs:2075 ← library/alloc/src/vec/mod.rs:2823
c2 (branch 418): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
inlined: lib.rs:2075 ← library/alloc/src/vec/mod.rs:2823
c3 (branch 419): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
inlined: lib.rs:2075 ← library/alloc/src/vec/mod.rs:2823
c4 (branch 420): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c5 (branch 422): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c6 (branch 449): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c7 (branch 450): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c8 (branch 458): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c9 (branch 466): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c10 (branch 467): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if