Decision #579 — src/binary_reader.rs:232
Status: no_witness
Truth table
| row | c0 br 3611 | c1 br 3654 | outcome |
|---|---|---|---|
| 1015 | T | F | F |
| 4808 | T | F | F |
| 8543 | T | F | F |
Independent-effect pairs
c0(branch3611): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1664 ← lib.rs:5939 ← 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 ← src/readers.rs:207c1(branch3654): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1596 ← src/readers.rs:207