Decision #363 — library/core/src/option.rs:1366
Status: no_witness
Truth table
| row | c0 br 2196 | c1 br 2215 | outcome |
|---|---|---|---|
| 47560 | F | F | T |
| 47561 | F | * | T |
| 47562 | F | F | T |
| 47563 | F | * | T |
| 51688 | F | F | T |
| 51689 | F | * | T |
| 51690 | F | F | T |
| 51691 | F | * | T |
| 56226 | F | F | T |
| 56227 | F | * | T |
| 56228 | F | F | T |
| 56229 | F | * | T |
| 60484 | F | F | T |
| 60485 | F | * | T |
| 60486 | F | F | T |
| 60487 | F | * | T |
| 95897 | F | * | T |
| 95898 | F | * | T |
| 105292 | F | * | T |
| 105293 | F | * | T |
| 105294 | F | * | T |
| 105295 | F | * | T |
| 114294 | F | * | T |
| 114295 | F | * | T |
Independent-effect pairs
c0(branch2196): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2215): GAP view gap →<scry_analyze_core::Interp>::seq· br_if