Decision #5 — lib.rs:232
Status: no_witness
Truth table
| row | c0 br 25 | c1 br 28 | c2 br 29 | c3 br 35 | outcome |
|---|---|---|---|---|---|
| 16 | F | T | T | F | F |
| 17 | * | * | T | F | F |
| 18 | * | * | T | F | F |
| 19 | * | * | T | F | F |
| 20 | * | * | T | F | F |
| 3056 | F | T | T | F | F |
| 3057 | * | * | T | F | F |
| 3058 | * | * | T | F | F |
| 3059 | * | * | T | F | F |
| 3060 | * | * | T | F | F |
| 5950 | F | T | T | F | F |
| 5951 | * | * | T | F | F |
| 5952 | * | * | T | F | F |
| 5953 | * | * | T | F | F |
| 5954 | * | * | T | F | F |
| 9401 | * | T | T | F | F |
| 10549 | * | T | T | F | F |
| 11640 | * | T | T | F | F |
| 12800 | * | T | T | F | F |
| 20518 | * | T | T | F | F |
| 28162 | * | T | T | F | F |
| 34100 | * | T | T | F | F |
| 40045 | F | T | T | F | F |
| 40046 | * | * | T | F | F |
| 40047 | * | * | T | F | F |
| 43013 | F | T | T | F | F |
| 43014 | * | * | T | F | F |
| 43015 | * | * | T | F | F |
| 46465 | F | T | T | F | F |
| 46466 | * | * | T | F | F |
| 46467 | * | * | T | F | F |
| 49585 | F | T | T | F | F |
| 49586 | * | * | T | F | F |
| 49587 | * | * | T | F | F |
| 52555 | * | T | T | F | F |
| 62327 | * | T | T | F | F |
| 72105 | * | T | T | F | F |
| 72106 | * | * | T | F | F |
| 72107 | * | * | T | F | F |
| 72108 | * | * | T | F | F |
| 72109 | * | * | T | F | F |
| 72110 | * | * | T | F | F |
| 75580 | * | T | T | F | F |
| 75581 | * | * | T | F | F |
| 75582 | * | * | T | F | F |
| 75583 | * | * | T | F | F |
| 75584 | * | * | T | F | F |
| 75585 | * | * | T | F | F |
| 79033 | F | T | F | * | F |
| 79034 | * | * | F | * | F |
| 79035 | * | * | F | * | F |
| 80632 | * | T | T | F | F |
| 81819 | * | T | T | F | F |
| 82881 | * | T | T | F | F |
| 84064 | * | T | T | F | F |
| 85324 | * | T | T | F | F |
| 85325 | * | * | T | F | F |
| 85326 | * | * | T | F | F |
| 87471 | * | T | T | F | F |
| 88634 | * | T | T | F | F |
| 88635 | * | * | T | F | F |
| 90672 | * | T | T | F | F |
| 92133 | * | T | T | F | F |
| 110996 | * | T | T | F | F |
| 129845 | * | T | T | F | F |
| 131004 | * | T | T | F | F |
| 132331 | * | T | T | F | F |
Independent-effect pairs
All 4 conditions live in scry_mcdc::drive — 4 br_if
c0(branch25): GAP view gap →c1(branch28): GAP view gap →c2(branch29): GAP view gap →c3(branch35): GAP view gap →