Decision #2 — lib.rs:232
Status: no_witness
Truth table
| row | c0 br 28 | c1 br 29 | c2 br 35 | c3 br 36 | c4 br 41 | outcome |
|---|---|---|---|---|---|---|
| 21 | T | T | F | T | * | T |
| 22 | * | T | F | T | * | T |
| 23 | * | T | F | T | * | T |
| 24 | * | T | F | T | * | T |
| 25 | * | T | F | F | T | T |
| 3815 | T | T | F | T | * | T |
| 3816 | * | T | F | T | * | T |
| 3817 | * | T | F | T | * | T |
| 3818 | * | T | F | T | * | T |
| 3819 | * | T | F | F | T | T |
| 7497 | T | T | F | T | * | T |
| 7498 | * | T | F | T | * | T |
| 7499 | * | T | F | T | * | T |
| 7500 | * | T | F | T | * | T |
| 7501 | * | T | F | F | T | T |
| 11667 | T | T | F | F | T | T |
| 13043 | T | T | F | F | T | T |
| 14368 | T | T | F | F | T | T |
| 15756 | T | T | F | F | T | T |
| 25236 | T | T | F | F | T | T |
| 34662 | T | T | F | F | T | T |
| 40875 | T | T | F | F | T | T |
| 47099 | T | T | F | T | * | T |
| 47100 | * | T | F | T | * | T |
| 47101 | * | T | F | F | T | T |
| 51227 | T | T | F | T | * | T |
| 51228 | * | T | F | T | * | T |
| 51229 | * | T | F | F | T | T |
| 55765 | T | T | F | T | * | T |
| 55766 | * | T | F | T | * | T |
| 55767 | * | T | F | F | T | T |
| 60023 | T | T | F | T | * | T |
| 60024 | * | T | F | T | * | T |
| 60025 | * | T | F | F | T | T |
| 64149 | T | T | F | F | T | T |
| 75662 | T | T | F | F | T | T |
| 87191 | T | T | F | T | * | T |
| 87192 | * | T | F | T | * | T |
| 87193 | * | T | F | T | * | T |
| 87194 | * | T | F | T | * | T |
| 87195 | * | T | F | T | * | T |
| 87196 | * | T | F | F | T | T |
| 91459 | T | T | F | T | * | T |
| 91460 | * | T | F | T | * | T |
| 91461 | * | T | F | T | * | T |
| 91462 | * | T | F | T | * | T |
| 91463 | * | T | F | T | * | T |
| 91464 | * | T | F | F | T | T |
| 95699 | T | F | * | T | * | T |
| 95700 | * | F | * | T | * | T |
| 95701 | * | F | * | F | T | T |
| 97754 | T | T | F | F | T | T |
| 99272 | T | T | F | F | T | T |
| 100687 | T | T | F | F | T | T |
| 102210 | T | T | F | F | T | T |
| 104705 | T | T | F | T | * | T |
| 104706 | * | T | F | T | * | T |
| 104707 | * | T | F | F | T | T |
| 108690 | T | T | F | F | T | T |
| 110662 | T | T | F | T | * | T |
| 110663 | * | T | F | F | T | T |
| 113971 | T | T | F | F | T | T |
| 117135 | T | T | F | F | T | T |
| 140071 | T | T | F | F | T | T |
| 162993 | T | T | F | F | T | T |
| 164548 | T | T | F | F | T | T |
| 166269 | T | T | F | F | T | T |
Independent-effect pairs
All 5 conditions live in scry_mcdc::drive — 5 br_if
c0(branch28): GAP view gap →c1(branch29): GAP view gap →c2(branch35): GAP view gap →c3(branch36): GAP view gap →c4(branch41): GAP view gap →