Decision #249 — library/core/src/option.rs:971
Status: no_witness
Truth table
| row | c0 br 1903 | c1 br 1911 | outcome |
|---|---|---|---|
| 13588 | F | * | T |
| 13589 | F | F | T |
| 13590 | F | * | T |
| 13591 | F | F | T |
| 21306 | F | * | T |
| 21307 | F | F | T |
| 21308 | F | * | T |
| 21309 | F | F | T |
| 29249 | F | * | T |
| 29250 | F | F | T |
| 29251 | F | * | T |
| 29252 | F | F | T |
| 35187 | F | * | T |
| 35188 | F | F | T |
| 35189 | F | * | T |
| 35190 | F | F | T |
| 53561 | F | * | T |
| 53562 | F | F | T |
| 53563 | F | * | T |
| 53564 | F | F | T |
| 63333 | F | * | T |
| 63334 | F | F | T |
| 63335 | F | * | T |
| 63336 | F | F | T |
| 93423 | F | * | T |
| 93424 | F | F | T |
| 93425 | F | * | T |
| 93426 | F | F | T |
| 93427 | F | * | T |
| 93428 | F | F | T |
| 93429 | F | * | T |
| 93430 | F | F | T |
| 112286 | F | * | T |
| 112287 | F | F | T |
| 112288 | F | * | T |
| 112289 | F | F | T |
| 112290 | F | * | T |
| 112291 | F | F | T |
| 112292 | F | * | T |
| 112293 | F | F | T |
Independent-effect pairs
c0(branch1903): GAP view gap →scry_analyze_core::Interp::loop_region· br_ifc1(branch1911): GAP view gap →scry_analyze_core::Interp::loop_region· br_if