Decision #408 — lib.rs:5379
Status: no_witness
Truth table
| row | c0 br 2942 | c1 br 2943 | outcome |
|---|---|---|---|
| 91633 | T | * | T |
| 91634 | T | * | T |
| 99410 | T | * | T |
| 99411 | T | * | T |
| 115977 | T | * | T |
| 115978 | T | * | T |
| 176322 | T | * | T |
| 195922 | F | * | T |
| 195923 | T | * | T |
| 215351 | T | * | T |
Independent-effect pairs
c0(branch2942): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2943): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if