Decision #3 — library/alloc/src/alloc.rs:99
Status: no_witness
Truth table
| row | c0 br 10 | c1 br 11 | c2 br 12 | outcome |
|---|---|---|---|---|
| 26 | F | F | F | T |
| 3820 | F | F | F | T |
| 7502 | F | F | F | T |
| 11668 | F | F | F | T |
| 13044 | F | F | F | T |
| 14369 | F | F | F | T |
| 15757 | F | F | F | T |
| 25237 | F | F | F | T |
| 34663 | F | F | F | T |
| 40876 | F | F | F | T |
| 47102 | F | F | F | T |
| 51230 | F | F | F | T |
| 55768 | F | F | F | T |
| 60026 | F | F | F | T |
| 64150 | F | F | F | T |
| 75663 | F | F | F | T |
| 87197 | F | F | F | T |
| 91465 | F | F | F | T |
| 95702 | F | F | F | T |
| 97755 | F | F | F | T |
| 99273 | F | F | F | T |
| 100688 | F | F | F | T |
| 102211 | F | F | F | T |
| 104708 | F | F | F | T |
| 108691 | F | F | F | T |
| 110664 | F | F | F | T |
| 113972 | F | F | F | T |
| 117136 | F | F | F | T |
| 140072 | F | F | F | T |
| 162994 | F | F | F | T |
| 164549 | F | F | F | T |
| 166270 | F | F | F | T |
Independent-effect pairs
c0(branch10): GAP view gap →scry_mcdc::drive· br_if
inlined: library/alloc/src/boxed.rs:248 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch11): GAP view gap →scry_mcdc::drive· br_if
inlined: library/alloc/src/boxed.rs:248 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c2(branch12): GAP view gap →scry_mcdc::drive· br_if
inlined: library/alloc/src/boxed.rs:248 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210