Decision #461 — library/core/src/option.rs:1011
Status: no_witness
Truth table
| row | c0 br 3176 | c1 br 3180 | outcome |
|---|---|---|---|
| 606 | F | F | T |
| 607 | F | F | T |
| 4400 | F | F | T |
| 4401 | F | F | T |
| 8130 | F | F | T |
| 8131 | F | F | T |
| 47800 | F | F | T |
| 47801 | F | F | T |
| 51969 | F | F | T |
| 51970 | F | F | T |
| 56507 | F | F | T |
| 56508 | F | F | T |
| 60724 | F | F | T |
| 60725 | F | F | T |
| 96011 | F | F | T |
| 105644 | F | F | T |
| 105645 | F | F | T |
| 114436 | F | * | T |
Independent-effect pairs
c0(branch3176): GAP view gap →scry_analyze_core::resolved_stack_callees· br_ifc1(branch3180): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if