Decision #415 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 2756 | c1 br 2868 | c2 br 3003 | c3 br 3004 | outcome |
|---|---|---|---|---|---|
| 30321 | * | * | F | F | T |
| 51176 | * | * | F | F | T |
| 71843 | * | * | F | F | T |
| 81726 | * | * | F | F | T |
| 91653 | F | * | * | * | T |
| 91654 | F | * | * | * | T |
| 91655 | F | * | * | * | T |
| 91656 | F | * | * | * | T |
| 99430 | F | * | * | * | T |
| 99431 | F | * | * | * | T |
| 99432 | F | * | * | * | T |
| 99433 | F | * | * | * | T |
| 107919 | F | * | * | * | T |
| 107920 | F | * | * | * | T |
| 107921 | F | * | * | * | T |
| 107922 | F | * | * | * | T |
| 115997 | F | * | * | * | T |
| 115998 | F | * | * | * | T |
| 115999 | F | * | * | * | T |
| 116000 | F | * | * | * | T |
| 123891 | * | * | F | F | T |
| 140610 | * | * | F | F | T |
| 176327 | F | * | * | * | T |
| 176328 | F | * | * | * | T |
| 195958 | F | * | * | * | T |
| 195959 | F | * | * | * | T |
| 195960 | F | * | * | * | T |
| 195961 | F | * | * | * | T |
| 215364 | F | * | F | F | T |
| 215365 | F | * | * | * | T |
Independent-effect pairs
c0(branch2756): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6825 ← library/core/src/option.rs:1365 ← lib.rs:6826 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch2868): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6855 ← library/core/src/option.rs:1365 ← lib.rs:6856 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c2(branch3003): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4399 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c3(branch3004): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4399 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276