Decision #7 — lib.rs:115
Status: no_witness
Truth table
| row | c0 br 57 | c1 br 58 | outcome |
|---|---|---|---|
| 13731 | F | F | F |
Independent-effect pairs
c0(branch57): GAP view gap →run_call_indirect_taint· br_ifc1(branch58): GAP view gap →run_call_indirect_taint· br_if