Decision #346 — lib.rs:3549
Status: no_witness
Truth table
| row | c0 br 2347 | c1 br 2351 | outcome |
|---|---|---|---|
| 47476 | T | * | T |
| 47477 | T | * | T |
| 51604 | T | * | T |
| 51605 | T | * | T |
| 56142 | T | * | T |
| 56143 | T | * | T |
| 60400 | T | * | T |
| 60401 | T | * | T |
Independent-effect pairs
c0(branch2347): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2351): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if