Decision #623 — src/readers/core/operators.rs:333
Status: no_witness
Truth table
| row | c0 br 4074 | c1 br 4075 | c2 br 4076 | outcome |
|---|---|---|---|---|
| 16778 | T | * | * | T |
| 16779 | T | * | * | T |
| 26258 | T | * | * | T |
| 26259 | T | * | * | T |
| 35957 | T | * | * | T |
| 35958 | T | * | * | T |
| 42170 | T | * | * | T |
| 42171 | T | * | * | T |
| 65404 | T | * | * | T |
| 65405 | T | * | * | T |
| 76917 | T | * | * | T |
| 76918 | T | * | * | T |
| 119048 | T | * | * | T |
| 119049 | T | * | * | T |
| 141984 | T | * | * | T |
| 141985 | T | * | * | T |
Independent-effect pairs
All 3 conditions live in <alloc::vec::into_iter::IntoIter<core::option::Option<scry_analyze_core::BreakState>> as core::ops::drop::Drop>::drop — 3 br_if
c0(branch4074): GAP view gap →c1(branch4075): DEAD view gap →c2(branch4076): DEAD view gap →