Decision #444 — library/core/src/option.rs:1366
Status: no_witness
Truth table
| row | c0 br 3067 | c1 br 3076 | outcome |
|---|---|---|---|
| 554 | F | F | T |
| 555 | * | F | T |
| 556 | * | F | T |
| 557 | * | T | T |
| 558 | * | T | T |
| 4348 | F | F | T |
| 4349 | * | F | T |
| 4350 | * | F | T |
| 4351 | * | T | T |
| 4352 | * | T | T |
| 8078 | F | F | T |
| 8079 | * | F | T |
| 8080 | * | F | T |
| 8081 | * | T | T |
| 8082 | * | T | T |
| 11868 | * | F | T |
| 13244 | * | F | T |
| 14569 | * | F | T |
| 16420 | * | F | T |
| 25900 | * | F | T |
| 35529 | * | F | T |
| 41742 | * | F | T |
| 47759 | F | F | T |
| 47760 | * | T | T |
| 51928 | F | F | T |
| 51929 | * | T | T |
| 56466 | F | F | T |
| 56467 | * | T | T |
| 60683 | F | F | T |
| 60684 | * | T | T |
| 65016 | * | F | T |
| 76529 | * | F | T |
| 88036 | F | F | T |
| 88037 | * | F | T |
| 88038 | * | F | T |
| 88039 | * | F | T |
| 88040 | * | F | T |
| 88041 | * | F | T |
| 92304 | F | F | T |
| 92305 | * | F | T |
| 92306 | * | F | T |
| 92307 | * | F | T |
| 92308 | * | F | T |
| 92309 | * | F | T |
| 95983 | F | F | T |
| 95984 | * | T | T |
| 95985 | * | F | T |
| 97933 | * | F | T |
| 99450 | * | F | T |
| 100866 | * | F | T |
| 102537 | * | F | T |
| 105575 | F | F | T |
| 105576 | * | T | T |
| 105577 | * | T | T |
| 108916 | * | F | T |
| 111386 | F | F | T |
| 111387 | * | T | T |
| 118472 | * | F | T |
| 141408 | * | F | T |
| 163168 | * | F | T |
| 164739 | * | F | T |
| 166461 | * | F | T |
Independent-effect pairs
c0(branch3067): GAP view gap →scry_analyze_core::compute_stack_usage· br_ifc1(branch3076): GAP view gap →scry_analyze_core::compute_stack_usage· br_if