Decision #392 — lib.rs:3574
Status: no_witness
Truth table
| row | c0 br 2480 | c1 br 2481 | outcome |
|---|---|---|---|
| 97916 | T | * | T |
| 97917 | T | * | T |
| 99434 | T | * | T |
| 99435 | T | * | T |
| 100849 | T | * | T |
| 100850 | T | * | T |
Independent-effect pairs
c0(branch2480): GAP view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch2481): DEAD view gap →scry_analyze_core::handle_memory_load· br_if