Decision #4 — lib.rs:233
Status: no_witness
Truth table
| row | c0 br 31 | c1 br 32 | c2 br 33 | c3 br 34 | c4 br 40 | outcome |
|---|---|---|---|---|---|---|
| 19 | T | * | T | T | F | F |
| 20 | * | * | * | T | F | F |
| 21 | * | * | * | T | F | F |
| 22 | * | * | * | T | F | F |
| 23 | * | * | * | T | F | F |
| 6979 | T | * | T | T | F | F |
| 6980 | * | * | * | T | F | F |
| 6981 | * | * | * | T | F | F |
| 6982 | * | * | * | T | F | F |
| 6983 | * | * | * | T | F | F |
| 13716 | T | * | T | T | F | F |
| 13717 | * | * | * | T | F | F |
| 13718 | * | * | * | T | F | F |
| 13719 | * | * | * | T | F | F |
| 13720 | * | * | * | T | F | F |
| 21176 | * | * | T | T | F | F |
| 23919 | * | * | T | T | F | F |
| 26562 | * | * | T | T | F | F |
| 29317 | * | * | T | T | F | F |
| 50172 | * | * | T | T | F | F |
| 70885 | * | * | T | T | F | F |
| 80768 | * | * | T | T | F | F |
| 90660 | T | * | T | T | F | F |
| 90661 | * | * | * | T | F | F |
| 90662 | * | * | * | T | F | F |
| 98434 | T | * | T | T | F | F |
| 98435 | * | * | * | T | F | F |
| 98436 | * | * | * | T | F | F |
| 106927 | T | * | T | T | F | F |
| 106928 | * | * | * | T | F | F |
| 106929 | * | * | * | T | F | F |
| 115004 | T | * | T | T | F | F |
| 115005 | * | * | * | T | F | F |
| 115006 | * | * | * | T | F | F |
| 122778 | * | * | T | T | F | F |
| 139497 | * | * | T | T | F | F |
| 156227 | * | * | T | T | F | F |
| 156228 | * | * | * | T | F | F |
| 156229 | * | * | * | T | F | F |
| 156230 | * | * | * | T | F | F |
| 156231 | * | * | * | T | F | F |
| 156232 | * | * | * | T | F | F |
| 166085 | * | * | T | T | F | F |
| 166086 | * | * | * | T | F | F |
| 166087 | * | * | * | T | F | F |
| 166088 | * | * | * | T | F | F |
| 166089 | * | * | * | T | F | F |
| 166090 | * | * | * | T | F | F |
| 175919 | T | * | T | F | * | F |
| 175920 | * | * | * | F | * | F |
| 175921 | * | * | * | F | * | F |
| 180733 | * | * | T | T | F | F |
| 184053 | * | * | T | T | F | F |
| 187160 | * | * | T | T | F | F |
| 190485 | * | * | T | T | F | F |
| 194669 | T | * | T | T | F | F |
| 194670 | * | * | * | T | F | F |
| 194671 | * | * | * | T | F | F |
| 202823 | * | * | T | T | F | F |
| 206018 | * | * | T | T | F | F |
| 206019 | * | * | * | T | F | F |
| 214393 | T | * | T | T | F | F |
| 221950 | * | * | T | T | F | F |
| 299327 | * | * | T | T | F | F |
| 376690 | * | * | T | T | F | F |
| 379327 | * | * | T | T | F | F |
| 382210 | * | * | T | T | F | F |
Independent-effect pairs
All 5 conditions live in scry_mcdc::drive — 5 br_if
c0(branch31): GAP view gap →c1(branch32): DEAD view gap →c2(branch33): GAP view gap →c3(branch34): GAP view gap →c4(branch40): GAP view gap →