Decision #613 — library/core/src/option.rs:967
Status: no_witness
Truth table
| row | c0 br 4027 | c1 br 4029 | c2 br 4030 | outcome |
|---|---|---|---|---|
| 16753 | F | F | F | T |
| 16754 | F | F | F | T |
| 26233 | F | F | F | T |
| 26234 | F | F | F | T |
| 35901 | F | F | F | T |
| 35902 | F | F | F | T |
| 42114 | F | F | F | T |
| 42115 | F | F | F | T |
| 65369 | F | F | F | T |
| 65370 | F | F | F | T |
| 76882 | F | F | F | T |
| 76883 | F | F | F | T |
| 118954 | F | F | F | T |
| 118955 | F | F | F | T |
| 118956 | F | F | F | T |
| 118957 | F | F | F | T |
| 141890 | F | F | F | T |
| 141891 | F | F | F | T |
| 141892 | F | F | F | T |
| 141893 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in <scry_analyze_core::Interp>::loop_region — 3 br_if
c0(branch4027): GAP view gap →c1(branch4029): GAP view gap →c2(branch4030): GAP view gap →