Decision #6 — library/alloc/src/boxed.rs:248
Status: no_witness
Truth table
| row | c0 br 17 | c1 br 19 | outcome |
|---|---|---|---|
| 33 | F | T | T |
| 6993 | F | T | T |
| 13730 | F | T | T |
| 21178 | F | T | T |
| 23921 | F | T | T |
| 26564 | F | T | T |
| 29319 | F | T | T |
| 50174 | F | T | T |
| 70887 | F | T | T |
| 80770 | F | T | T |
| 90668 | F | T | T |
| 98442 | F | T | T |
| 106935 | F | T | T |
| 115012 | F | T | T |
| 122780 | F | T | T |
| 139499 | F | T | T |
| 156244 | F | T | T |
| 166102 | F | T | T |
| 175927 | F | T | T |
| 180735 | F | T | T |
| 184055 | F | T | T |
| 187162 | F | T | T |
| 190487 | F | T | T |
| 194677 | F | T | T |
| 202825 | F | T | T |
| 206023 | F | T | T |
| 214395 | F | T | T |
| 221952 | F | T | T |
| 299329 | F | T | T |
| 376692 | F | T | T |
| 379329 | F | T | T |
| 382212 | F | T | T |
Independent-effect pairs
c0(branch17): GAP view gap →scry_mcdc::drive· br_ifc1(branch19): GAP view gap →scry_mcdc::drive· br_if