Decision #144 — lib.rs:4935
Status: no_witness
Truth table
| row | c0 br 1058 | c1 br 1059 | outcome |
|---|---|---|---|
| 80799 | T | F | F |
| 80800 | T | F | F |
| 81986 | T | F | F |
| 81987 | T | F | F |
| 83048 | T | F | F |
| 83049 | T | F | F |
Independent-effect pairs
c0(branch1058): GAP view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch1059): GAP view gap →scry_analyze_core::handle_memory_load· br_if