Decision #527 — lib.rs:5944
Status: no_witness
Truth table
| row | c0 br 3608 | c1 br 3609 | outcome |
|---|---|---|---|
| 820 | T | * | T |
| 821 | F | T | T |
| 4613 | T | * | T |
| 4614 | F | T | T |
| 8344 | T | * | T |
| 8345 | F | T | T |
Independent-effect pairs
c0(branch3608): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch3609): GAP view gap →scry_analyze_core::analyze· br_if