Decision #1663 — src/lib.rs:760
Status: partial
Truth table
| row | c0 br 4948 | c1 br 4949 | c2 br 4950 | c3 br 4951 | c4 br 4952 | outcome |
|---|
Independent-effect pairs
c0(branch4948): PROVED<scry_analyze_core::Interp>::poly_transfer· br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087c1(branch4949): DEAD view gap →<scry_analyze_core::Interp>::poly_transfer· br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087c2(branch4950): PROVED<scry_analyze_core::Interp>::poly_transfer· br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087c3(branch4951): DEAD view gap →<scry_analyze_core::Interp>::poly_transfer· br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087c4(branch4952): DEAD view gap →<scry_analyze_core::Interp>::poly_transfer· br_table_default
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7087