Decision #286 — library/alloc/src/fmt.rs:659
Status: partial
Truth table
| row | c0 br 2169 | c1 br 2212 | c2 br 2245 | outcome |
|---|---|---|---|---|
| 784 | F | * | * | F |
| 785 | T | * | F | F |
| 786 | * | * | F | F |
| 787 | * | * | F | F |
| 3824 | F | * | * | F |
| 3825 | T | * | F | F |
| 3826 | * | * | F | F |
| 3827 | * | * | F | F |
| 6769 | F | * | * | F |
| 6770 | T | * | F | F |
| 6771 | * | * | F | F |
| 6772 | * | * | F | F |
| 9663 | F | * | * | F |
| 10811 | F | * | * | F |
| 11902 | F | * | * | F |
| 13668 | F | * | * | F |
| 21386 | F | * | * | F |
| 29398 | F | * | * | F |
| 35336 | F | * | * | F |
| 40841 | F | * | * | F |
| 40842 | T | * | * | T |
| 43852 | F | * | * | F |
| 43853 | T | * | * | T |
| 47305 | F | * | * | F |
| 47306 | T | * | * | T |
| 50381 | F | * | * | F |
| 50382 | T | * | * | T |
| 53661 | F | * | * | F |
| 63433 | F | * | * | F |
| 73132 | F | * | * | F |
| 73133 | T | * | * | T |
| 73134 | T | * | * | T |
| 73135 | T | * | * | T |
| 73136 | F | * | * | F |
| 73137 | T | * | * | T |
| 76607 | F | * | * | F |
| 76608 | T | * | * | T |
| 76609 | T | * | * | T |
| 76610 | T | * | * | T |
| 76611 | F | * | * | F |
| 76612 | T | * | * | T |
| 79364 | F | * | * | F |
| 80867 | F | * | * | F |
| 82054 | F | * | * | F |
| 83116 | F | * | * | F |
| 84306 | F | * | * | F |
| 85933 | F | * | * | F |
| 87668 | F | * | * | F |
| 89238 | F | * | * | F |
| 90960 | F | * | * | F |
| 93602 | F | * | * | F |
| 112465 | F | * | * | F |
| 130084 | F | * | * | F |
| 131259 | F | * | * | F |
| 132586 | F | * | * | F |
Independent-effect pairs
c0(branch2169): PROVED — pair rows784,40842(masking)scry_analyze_core::analyze· br_ifc1(branch2212): DEAD view gap →scry_analyze_core::analyze· br_ifc2(branch2245): GAP view gap →scry_analyze_core::analyze· br_if
inlined: library/core/src/result.rs:968 ← lib.rs:1424 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278