Decision #175 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 1534 | c1 br 1537 | c2 br 1538 | outcome |
|---|---|---|---|---|
| 520 | F | * | * | F |
| 521 | F | * | * | F |
| 522 | F | * | * | F |
| 523 | T | F | F | F |
| 524 | * | F | F | F |
| 525 | T | F | F | F |
| 526 | * | F | F | F |
| 527 | * | F | F | F |
| 528 | * | F | F | F |
| 3560 | F | * | * | F |
| 3561 | F | * | * | F |
| 3562 | F | * | * | F |
| 3563 | T | F | F | F |
| 3564 | * | F | F | F |
| 3565 | T | F | F | F |
| 3566 | * | F | F | F |
| 3567 | * | F | F | F |
| 3568 | * | F | F | F |
| 6505 | F | * | * | F |
| 6506 | F | * | * | F |
| 6507 | F | * | * | F |
| 6508 | T | F | F | F |
| 6509 | * | F | F | F |
| 6510 | T | F | F | F |
| 6511 | * | F | F | F |
| 6512 | * | F | F | F |
| 6513 | * | F | F | F |
| 9597 | F | * | * | F |
| 10745 | F | * | * | F |
| 11836 | F | * | * | F |
| 13490 | F | * | * | F |
| 21208 | F | * | * | F |
| 29104 | F | * | * | F |
| 35042 | F | * | * | F |
| 40676 | F | * | * | F |
| 40677 | T | F | F | F |
| 43687 | F | * | * | F |
| 43688 | T | F | F | F |
| 47140 | F | * | * | F |
| 47141 | T | F | F | F |
| 50216 | F | * | * | F |
| 50217 | T | F | F | F |
| 53445 | F | * | * | F |
| 63217 | F | * | * | F |
| 72860 | F | * | * | F |
| 72861 | F | * | * | F |
| 72862 | F | * | * | F |
| 72863 | F | * | * | F |
| 72864 | F | * | * | F |
| 72865 | F | * | * | F |
| 76335 | F | * | * | F |
| 76336 | F | * | * | F |
| 76337 | F | * | * | F |
| 76338 | F | * | * | F |
| 76339 | F | * | * | F |
| 76340 | F | * | * | F |
| 79272 | F | * | * | F |
| 79273 | T | F | F | F |
| 79274 | F | * | * | F |
| 80811 | F | * | * | F |
| 81998 | F | * | * | F |
| 83060 | F | * | * | F |
| 84240 | F | * | * | F |
| 85775 | F | * | * | F |
| 85776 | T | F | F | F |
| 85777 | T | F | F | F |
| 87609 | F | * | * | F |
| 89087 | F | * | * | F |
| 89088 | T | F | F | F |
| 93226 | F | * | * | F |
| 112089 | F | * | * | F |
| 130032 | F | * | * | F |
| 131207 | F | * | * | F |
| 132534 | F | * | * | F |
Independent-effect pairs
c0(branch1534): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:4161 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278c1(branch1537): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:4135 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278c2(branch1538): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:4135 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278