Decision #312 — library/core/src/slice/iter/macros.rs:180
Status: no_witness
Truth table
| row | c0 br 2232 | c1 br 2266 | c2 br 2269 | c3 br 2347 | c4 br 2348 | outcome |
|---|---|---|---|---|---|---|
| 13758 | * | T | F | * | * | T |
| 21476 | * | T | F | * | * | T |
| 29485 | * | T | F | * | * | T |
| 35423 | * | T | F | * | * | T |
| 53751 | * | T | F | * | * | T |
| 63523 | * | T | F | * | * | T |
| 80928 | F | * | * | * | * | T |
| 82115 | F | * | * | * | * | T |
| 83177 | F | * | * | * | * | T |
| 93696 | * | T | F | * | * | T |
| 93697 | * | * | T | * | * | T |
| 112559 | * | T | F | * | * | T |
| 112560 | * | * | T | * | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::analyze — 5 br_if
c0(branch2232): GAP view gap →c1(branch2266): GAP view gap →c2(branch2269): GAP view gap →c3(branch2347): DEAD view gap →c4(branch2348): DEAD view gap →