Decision #1664 — `src/lib.rs:777`

Status: partial

Truth table

row	c0 br 4953	c1 br 4954	c2 br 4955	c3 br 4956	c4 br 4957	c5 br 4958	c6 br 4959	outcome

c0 (branch 4953): PROVED
<scry_analyze_core::Interp>::poly_transfer · br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087
c1 (branch 4954): DEAD view gap →
<scry_analyze_core::Interp>::poly_transfer · br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087
c2 (branch 4955): PROVED
<scry_analyze_core::Interp>::poly_transfer · br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087
c3 (branch 4956): DEAD view gap →
<scry_analyze_core::Interp>::poly_transfer · br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087
c4 (branch 4957): DEAD view gap →
<scry_analyze_core::Interp>::poly_transfer · br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087
c5 (branch 4958): DEAD view gap →
<scry_analyze_core::Interp>::poly_transfer · br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087
c6 (branch 4959): DEAD view gap →
<scry_analyze_core::Interp>::poly_transfer · br_table_default
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087