Decision #243 — lib.rs:847
Status: no_witness
Truth table
| row | c0 br 1935 | c1 br 1939 | outcome |
|---|---|---|---|
| 13572 | T | * | T |
| 13573 | T | * | T |
| 21290 | T | * | T |
| 21291 | T | * | T |
| 29211 | T | * | T |
| 29212 | T | * | T |
| 35149 | T | * | T |
| 35150 | T | * | T |
| 53535 | T | * | T |
| 53536 | T | * | T |
| 63307 | T | * | T |
| 63308 | T | * | T |
| 93373 | T | * | T |
| 93374 | T | * | T |
| 112236 | T | * | T |
| 112237 | T | * | T |
Independent-effect pairs
c0(branch1935): GAP view gap →scry_analyze_core::Interp::loop_region· br_ifc1(branch1939): DEAD view gap →scry_analyze_core::Interp::loop_region· br_if