Decision #712 — src/readers.rs:197
Status: partial
Truth table
| row | c0 br 4422 | c1 br 4423 | outcome |
|---|---|---|---|
| 1767 | F | T | T |
| 1768 | F | F | F |
| 8727 | F | T | T |
| 8728 | F | F | F |
| 15532 | F | T | T |
| 15533 | F | F | F |
Independent-effect pairs
c0(branch4422): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1968 ← lib.rs:7904 ← library/core/src/iter/adapters/flatten.rs:227 ← library/core/src/iter/adapters/flatten.rs:855 ← library/core/src/iter/adapters/fuse.rs:50 ← library/core/src/iter/adapters/fuse.rs:301 ← library/core/src/iter/adapters/fuse.rs:469 ← library/core/src/ops/function.rs:250c1(branch4423): PROVED — pair rows1767,1768(unique-cause)scry_analyze_core::analyze· br_if
inlined: lib.rs:1968 ← lib.rs:7904 ← library/core/src/iter/adapters/flatten.rs:227 ← library/core/src/iter/adapters/flatten.rs:855 ← library/core/src/iter/adapters/fuse.rs:50 ← library/core/src/iter/adapters/fuse.rs:301 ← library/core/src/iter/adapters/fuse.rs:469 ← library/core/src/ops/function.rs:250