Decision #986 — src/binary_reader.rs:348
Status: partial
Truth table
| row | c0 br 2058 | c1 br 2059 | c2 br 2060 | c3 br 2061 | outcome |
|---|
Independent-effect pairs
c0(branch2058): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/readers.rs:202c1(branch2059): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: src/readers.rs:202c2(branch2060): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: src/readers.rs:202c3(branch2061): DEAD view gap →scry_analyze_core::analyze· br_table_default
inlined: src/readers.rs:202