Decision #516 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 3683 | c1 br 3706 | outcome |
|---|---|---|---|
| 1046 | T | F | F |
| 1047 | * | F | F |
| 1048 | * | F | F |
| 1049 | * | F | F |
| 1050 | * | F | F |
| 8006 | T | F | F |
| 8007 | * | F | F |
| 8008 | * | F | F |
| 8009 | * | F | F |
| 8010 | * | F | F |
| 14807 | T | F | F |
| 14808 | * | F | F |
| 14809 | * | F | F |
| 14810 | * | F | F |
| 14811 | * | F | F |
| 21662 | T | F | F |
| 24405 | T | F | F |
| 27048 | T | F | F |
| 30618 | T | F | F |
| 51473 | T | F | F |
| 72398 | T | F | F |
| 82281 | T | F | F |
| 91952 | T | F | F |
| 91953 | * | F | F |
| 99781 | T | F | F |
| 99782 | * | F | F |
| 108270 | T | F | F |
| 108271 | * | F | F |
| 116296 | T | F | F |
| 116297 | * | F | F |
| 124355 | T | F | F |
| 141074 | T | F | F |
| 158215 | T | F | F |
| 158216 | * | F | F |
| 158217 | * | F | F |
| 158218 | * | F | F |
| 158219 | * | F | F |
| 158220 | * | F | F |
| 168073 | T | F | F |
| 168074 | * | F | F |
| 168075 | * | F | F |
| 168076 | * | F | F |
| 168077 | * | F | F |
| 168078 | * | F | F |
| 176458 | T | F | F |
| 176459 | * | F | F |
| 176460 | * | F | F |
| 181166 | T | F | F |
| 184485 | T | F | F |
| 187593 | T | F | F |
| 191127 | T | F | F |
| 196411 | T | F | F |
| 196412 | * | F | F |
| 196413 | * | F | F |
| 203254 | T | F | F |
| 207745 | T | F | F |
| 207746 | * | F | F |
| 215608 | T | * | T |
| 224078 | T | F | F |
| 301455 | T | F | F |
| 377049 | T | F | F |
| 379706 | T | F | F |
| 382590 | T | F | F |
Independent-effect pairs
c0(branch3683): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7713 ← library/core/src/option.rs:1365 ← lib.rs:7714 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch3706): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7780 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276