Decision #3 — lib.rs:232
Status: partial
Truth table
| row | c0 br 28 | c1 br 29 | outcome |
|---|---|---|---|
| 18 | T | T | T |
| 6978 | T | T | T |
| 13715 | T | T | T |
| 21175 | F | * | F |
| 23918 | F | * | F |
| 26561 | F | * | F |
| 29316 | F | * | F |
| 50171 | F | * | F |
| 70884 | F | * | F |
| 80767 | F | * | F |
| 90659 | T | T | T |
| 98433 | T | T | T |
| 106926 | T | T | T |
| 115003 | T | T | T |
| 122777 | F | * | F |
| 139496 | F | * | F |
| 156226 | F | * | F |
| 166084 | F | * | F |
| 175918 | T | T | T |
| 180732 | F | * | F |
| 184052 | F | * | F |
| 187159 | F | * | F |
| 190484 | F | * | F |
| 194668 | T | T | T |
| 202822 | F | * | F |
| 206017 | F | * | F |
| 214392 | T | T | T |
| 221949 | F | * | F |
| 299326 | F | * | F |
| 376689 | F | * | F |
| 379326 | F | * | F |
| 382209 | F | * | F |
Independent-effect pairs
c0(branch28): PROVED — pair rows18,21175(masking)scry_mcdc::drive· br_ifc1(branch29): GAP view gap →scry_mcdc::drive· br_if