Decision #704 — src/binary_reader.rs:285
Status: partial
Truth table
| row | c0 br 4320 | c1 br 4374 | c2 br 4383 | outcome |
|---|---|---|---|---|
| 1742 | * | T | * | T |
| 1743 | * | T | * | T |
| 1744 | * | F | * | F |
| 8702 | * | T | * | T |
| 8703 | * | T | * | T |
| 8704 | * | F | * | F |
| 15507 | * | T | * | T |
| 15508 | * | T | * | T |
| 15509 | * | F | * | F |
| 21863 | * | T | * | T |
| 21864 | * | F | * | F |
| 24606 | * | T | * | T |
| 24607 | * | F | * | F |
| 27249 | * | T | * | T |
| 27250 | * | F | * | F |
| 30976 | * | T | * | T |
| 30977 | * | F | * | F |
| 51831 | * | T | * | T |
| 51832 | * | F | * | F |
| 72749 | * | T | * | T |
| 72750 | * | F | * | F |
| 82632 | * | T | * | T |
| 82633 | * | F | * | F |
| 92473 | * | T | * | T |
| 92474 | * | T | * | T |
| 92475 | * | F | * | F |
| 100304 | * | T | * | T |
| 100305 | * | T | * | T |
| 100306 | * | F | * | F |
| 108793 | * | T | * | T |
| 108794 | * | T | * | T |
| 108795 | * | F | * | F |
| 116817 | * | T | * | T |
| 116818 | * | T | * | T |
| 116819 | * | F | * | F |
| 124716 | * | T | * | T |
| 124717 | * | F | * | F |
| 141435 | * | T | * | T |
| 141436 | * | F | * | F |
| 159068 | * | T | * | T |
| 159069 | * | F | * | F |
| 168926 | * | T | * | T |
| 168927 | * | F | * | F |
| 176833 | * | T | * | T |
| 176834 | * | F | * | F |
| 181361 | * | T | * | T |
| 181362 | * | F | * | F |
| 184680 | * | T | * | T |
| 184681 | * | F | * | F |
| 187788 | * | T | * | T |
| 187789 | * | F | * | F |
| 191415 | * | T | * | T |
| 191416 | * | F | * | F |
| 197176 | * | T | * | T |
| 197177 | * | F | * | F |
| 203475 | * | T | * | T |
| 203476 | * | F | * | F |
| 208508 | * | T | * | T |
| 208509 | * | F | * | F |
| 216045 | * | T | * | T |
| 216046 | * | F | * | F |
| 224452 | * | T | * | T |
| 224453 | * | F | * | F |
| 301829 | * | T | * | T |
| 301830 | * | F | * | F |
| 377223 | * | T | * | T |
| 377224 | * | F | * | F |
| 379880 | * | T | * | T |
| 379881 | * | F | * | F |
| 382764 | * | T | * | T |
| 382765 | * | F | * | F |
Independent-effect pairs
c0(branch4320): DEAD view gap →scry_analyze_core::analyze· br_ifc1(branch4374): PROVED — pair rows1742,1744(masking)scry_analyze_core::analyze· br_if
inlined: lib.rs:2065 ← src/readers.rs:210c2(branch4383): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: src/readers.rs:210