Decision #441 — library/alloc/src/fmt.rs:659
Status: partial
Truth table
| row | c0 br 3066 | c1 br 3074 | c2 br 3075 | c3 br 3090 | c4 br 3097 | outcome |
|---|---|---|---|---|---|---|
| 537 | F | F | F | F | * | F |
| 538 | * | F | F | F | * | F |
| 539 | * | F | F | F | * | F |
| 540 | * | F | F | F | * | F |
| 541 | * | F | F | F | T | T |
| 542 | * | * | * | * | T | T |
| 543 | * | * | * | * | T | T |
| 544 | * | * | * | * | T | T |
| 545 | * | * | * | * | F | F |
| 4331 | F | F | F | F | * | F |
| 4332 | * | F | F | F | * | F |
| 4333 | * | F | F | F | * | F |
| 4334 | * | F | F | F | * | F |
| 4335 | * | F | F | F | T | T |
| 4336 | * | * | * | * | T | T |
| 4337 | * | * | * | * | T | T |
| 4338 | * | * | * | * | T | T |
| 4339 | * | * | * | * | F | F |
| 8061 | F | F | F | F | * | F |
| 8062 | * | F | F | F | * | F |
| 8063 | * | F | F | F | * | F |
| 8064 | * | F | F | F | * | F |
| 8065 | * | F | F | F | T | T |
| 8066 | * | * | * | * | T | T |
| 8067 | * | * | * | * | T | T |
| 8068 | * | * | * | * | T | T |
| 8069 | * | * | * | * | F | F |
| 11867 | T | F | F | F | F | F |
| 13243 | T | F | F | F | F | F |
| 14568 | T | F | F | F | F | F |
| 16419 | T | F | F | F | F | F |
| 25899 | T | F | F | F | F | F |
| 35528 | T | F | F | F | F | F |
| 41741 | T | F | F | F | F | F |
| 47753 | F | F | F | F | * | F |
| 47754 | * | F | F | F | T | T |
| 47755 | * | * | * | * | T | T |
| 47756 | * | * | * | * | F | F |
| 51922 | F | F | F | F | * | F |
| 51923 | * | F | F | F | T | T |
| 51924 | * | * | * | * | T | T |
| 51925 | * | * | * | * | F | F |
| 56460 | F | F | F | F | * | F |
| 56461 | * | F | F | F | T | T |
| 56462 | * | * | * | * | T | T |
| 56463 | * | * | * | * | F | F |
| 60677 | F | F | F | F | * | F |
| 60678 | * | F | F | F | T | T |
| 60679 | * | * | * | * | T | T |
| 60680 | * | * | * | * | F | F |
| 65015 | T | F | F | F | F | F |
| 76528 | T | F | F | F | F | F |
| 88025 | F | F | F | F | * | F |
| 88026 | * | F | F | F | * | F |
| 88027 | * | F | F | F | * | F |
| 88028 | * | F | F | F | * | F |
| 88029 | * | F | F | F | * | F |
| 88030 | * | F | F | F | T | T |
| 88031 | * | * | * | * | T | T |
| 88032 | * | * | * | * | T | T |
| 88033 | * | * | * | * | T | T |
| 88034 | * | * | * | * | T | T |
| 88035 | * | * | * | * | F | F |
| 92293 | F | F | F | F | * | F |
| 92294 | * | F | F | F | * | F |
| 92295 | * | F | F | F | * | F |
| 92296 | * | F | F | F | * | F |
| 92297 | * | F | F | F | * | F |
| 92298 | * | F | F | F | T | T |
| 92299 | * | * | * | * | T | T |
| 92300 | * | * | * | * | T | T |
| 92301 | * | * | * | * | T | T |
| 92302 | * | * | * | * | T | T |
| 92303 | * | * | * | * | F | F |
| 95976 | F | F | F | F | * | F |
| 95977 | * | F | F | F | * | F |
| 95978 | * | F | F | F | T | T |
| 95979 | * | * | * | * | T | T |
| 95980 | * | * | * | * | F | F |
| 97932 | T | F | F | F | F | F |
| 99449 | T | F | F | F | F | F |
| 100865 | T | F | F | F | F | F |
| 102536 | T | F | F | T | F | F |
| 105566 | F | F | F | F | * | F |
| 105567 | * | F | F | F | * | F |
| 105568 | * | F | F | F | T | T |
| 105569 | * | * | * | * | T | T |
| 105570 | * | * | * | * | F | F |
| 108915 | T | F | F | T | F | F |
| 111381 | F | F | F | F | * | F |
| 111382 | * | F | F | F | T | T |
| 111383 | * | * | * | * | F | F |
| 114402 | T | * | * | * | F | F |
| 118471 | T | F | F | F | F | F |
| 141407 | T | F | F | F | F | F |
| 163167 | T | F | F | F | F | F |
| 164738 | T | F | F | F | F | F |
| 166460 | T | F | F | F | F | F |
Independent-effect pairs
c0(branch3066): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:5743 ← library/core/src/option.rs:1366 ← lib.rs:5744 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c1(branch3074): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:5748 ← library/core/src/option.rs:1366 ← lib.rs:5749 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c2(branch3075): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:5748 ← library/core/src/option.rs:1366 ← lib.rs:5749 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c3(branch3090): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:5829 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c4(branch3097): PROVED — pair rows541,545(masking)scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:5760 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275