Decision #922 — builders.rs:45
Status: no_witness
Truth table
| row | c0 br 6309 | c1 br 6310 | c2 br 6311 | c3 br 6312 | c4 br 6313 | outcome |
|---|---|---|---|---|---|---|
| 3036 | T | * | * | * | * | F |
| 9373 | T | * | * | * | * | F |
| 9374 | T | * | * | * | * | F |
| 9375 | T | * | * | * | * | F |
| 9376 | T | * | * | * | * | F |
| 9377 | T | * | * | * | * | F |
| 9378 | T | * | * | * | * | F |
| 9379 | T | * | * | * | * | F |
| 10536 | T | * | * | * | * | F |
| 12775 | T | * | * | * | * | F |
| 20495 | T | * | * | * | * | F |
| 34088 | T | * | * | * | * | F |
| 40026 | T | * | * | * | * | F |
| 42987 | T | * | * | * | * | F |
| 42988 | T | * | * | * | * | F |
| 42989 | T | * | * | * | * | F |
| 46419 | T | * | * | * | * | F |
| 46420 | T | * | * | * | * | F |
| 46421 | T | * | * | * | * | F |
| 46422 | T | * | * | * | * | F |
| 46423 | T | * | * | * | * | F |
| 46424 | T | * | * | * | * | F |
| 46425 | T | * | * | * | * | F |
| 46426 | T | * | * | * | * | F |
| 46427 | T | * | * | * | * | F |
| 46428 | T | * | * | * | * | F |
| 46429 | T | * | * | * | * | F |
| 49557 | T | * | * | * | * | F |
| 49558 | T | * | * | * | * | F |
| 49559 | T | * | * | * | * | F |
| 52527 | T | * | * | * | * | F |
| 52528 | T | * | * | * | * | F |
| 52529 | T | * | * | * | * | F |
| 62304 | T | * | * | * | * | F |
| 72076 | T | * | * | * | * | F |
| 75547 | T | * | * | * | * | F |
| 79022 | T | * | * | * | * | F |
| 80618 | T | * | * | * | * | F |
| 80619 | T | * | * | * | * | F |
| 80620 | T | * | * | * | * | F |
| 80621 | T | * | * | * | * | F |
| 81804 | T | * | * | * | * | F |
| 81805 | T | * | * | * | * | F |
| 84053 | T | * | * | * | * | F |
| 84054 | T | * | * | * | * | F |
| 85317 | T | * | * | * | * | F |
| 85318 | T | * | * | * | * | F |
| 87462 | T | * | * | * | * | F |
| 87463 | T | * | * | * | * | F |
| 87464 | T | * | * | * | * | F |
| 87465 | T | * | * | * | * | F |
| 88627 | T | * | * | * | * | F |
| 88628 | T | * | * | * | * | F |
| 90664 | T | * | * | * | * | F |
| 90665 | T | * | * | * | * | F |
| 90666 | T | * | * | * | * | F |
| 92107 | T | * | * | * | * | F |
| 92108 | T | * | * | * | * | F |
| 92109 | T | * | * | * | * | F |
| 110973 | T | * | * | * | * | F |
| 129836 | T | * | * | * | * | F |
| 130994 | T | * | * | * | * | F |
| 132315 | T | * | * | * | * | F |
| 132316 | T | * | * | * | * | F |
| 132317 | T | * | * | * | * | F |
| 133533 | T | * | * | * | * | F |
Independent-effect pairs
All 5 conditions live in <core::fmt::Formatter>::pad — 5 br_if
c0(branch6309): GAP view gap →c1(branch6310): DEAD view gap →c2(branch6311): DEAD view gap →c3(branch6312): DEAD view gap →c4(branch6313): DEAD view gap →