Decision #349 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 2195 | c1 br 2214 | c2 br 2319 | c3 br 2401 | c4 br 2402 | outcome |
|---|---|---|---|---|---|---|
| 16177 | * | * | * | F | T | T |
| 16178 | * | * | * | F | T | T |
| 16179 | * | * | * | F | T | T |
| 16180 | * | * | * | F | T | T |
| 16181 | * | * | * | F | T | T |
| 16182 | * | * | * | F | T | T |
| 16183 | * | * | * | F | T | T |
| 16184 | * | * | * | F | T | T |
| 25657 | * | * | * | F | T | T |
| 25658 | * | * | * | F | T | T |
| 25659 | * | * | * | F | T | T |
| 25660 | * | * | * | F | T | T |
| 25661 | * | * | * | F | T | T |
| 25662 | * | * | * | F | T | T |
| 25663 | * | * | * | F | T | T |
| 25664 | * | * | * | F | T | T |
| 47492 | F | * | * | * | * | T |
| 47493 | F | * | * | * | * | T |
| 47494 | F | * | * | * | * | T |
| 47495 | F | F | * | * | * | T |
| 51620 | F | * | * | * | * | T |
| 51621 | F | * | * | * | * | T |
| 51622 | F | * | * | * | * | T |
| 51623 | F | F | * | * | * | T |
| 56158 | F | * | * | * | * | T |
| 56159 | F | * | * | * | * | T |
| 56160 | F | * | * | * | * | T |
| 56161 | F | F | * | * | * | T |
| 60416 | F | * | * | * | * | T |
| 60417 | F | * | * | * | * | T |
| 60418 | F | * | * | * | * | T |
| 60419 | F | F | * | * | * | T |
| 64644 | * | * | * | F | T | T |
| 64645 | * | * | * | F | T | T |
| 64646 | * | * | * | F | T | T |
| 64647 | * | * | * | F | T | T |
| 64648 | * | * | * | F | T | T |
| 64649 | * | * | * | F | T | T |
| 64650 | * | * | * | F | T | T |
| 64651 | * | * | * | F | T | T |
| 76157 | * | * | * | F | T | T |
| 76158 | * | * | * | F | T | T |
| 76159 | * | * | * | F | T | T |
| 76160 | * | * | * | F | T | T |
| 76161 | * | * | * | F | T | T |
| 76162 | * | * | * | F | T | T |
| 76163 | * | * | * | F | T | T |
| 76164 | * | * | * | F | T | T |
| 95871 | F | * | * | * | * | T |
| 95872 | F | * | * | * | * | T |
| 105218 | F | F | * | * | * | T |
| 105219 | F | F | * | * | * | T |
| 105220 | F | F | * | * | * | T |
| 105221 | F | F | * | * | * | T |
| 114246 | F | * | * | * | * | T |
| 114247 | F | F | * | * | * | T |
| 117769 | * | * | * | F | T | T |
| 117770 | * | * | * | F | T | T |
| 117771 | * | * | * | F | T | T |
| 117772 | * | * | * | F | T | T |
| 117773 | * | * | * | F | T | T |
| 117774 | * | * | * | F | T | T |
| 117775 | * | * | * | F | T | T |
| 117776 | * | * | * | F | T | T |
| 140705 | * | * | * | F | T | T |
| 140706 | * | * | * | F | T | T |
| 140707 | * | * | * | F | T | T |
| 140708 | * | * | * | F | T | T |
| 140709 | * | * | * | F | T | T |
| 140710 | * | * | * | F | T | T |
| 140711 | * | * | * | F | T | T |
| 140712 | * | * | * | F | T | T |
Independent-effect pairs
c0(branch2195): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:5061 ← library/core/src/option.rs:1366 ← lib.rs:5062 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c1(branch2214): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:5086 ← library/core/src/option.rs:1366 ← lib.rs:5087 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c2(branch2319): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6013 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c3(branch2401): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:3084 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c4(branch2402): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:3084 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275