Decision #576 — library/core/src/result.rs:967
Status: no_witness
Truth table
| row | c0 br 3766 | c1 br 3767 | outcome |
|---|---|---|---|
| 1012 | F | * | F |
| 1013 | F | * | F |
| 1014 | T | F | F |
| 4805 | F | * | F |
| 4806 | F | * | F |
| 4807 | T | F | F |
| 8540 | F | * | F |
| 8541 | F | * | F |
| 8542 | T | F | F |
Independent-effect pairs
c0(branch3766): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch3767): GAP view gap →scry_analyze_core::analyze· br_if