Decision #3 — lib.rs:87
Status: no_witness
Truth table
| row | c0 br 11 | c1 br 12 | outcome |
|---|---|---|---|
| 3 | F | F | F |
| 3043 | F | F | F |
| 5937 | F | F | F |
| 9394 | F | F | F |
| 10542 | F | F | F |
| 11633 | F | F | F |
| 12781 | F | F | F |
| 20499 | F | F | F |
| 28154 | F | F | F |
| 34092 | F | F | F |
| 40030 | F | F | F |
| 42998 | F | F | F |
| 46450 | F | F | F |
| 49570 | F | F | F |
| 52536 | F | F | F |
| 62308 | F | F | F |
| 72080 | F | F | F |
| 75555 | F | F | F |
| 79030 | F | F | F |
| 80626 | F | F | F |
| 81813 | F | F | F |
| 82875 | F | F | F |
| 84062 | F | F | F |
| 85322 | F | F | F |
| 87469 | F | F | F |
| 88632 | F | F | F |
| 90670 | F | F | F |
| 92114 | F | F | F |
| 110977 | F | F | F |
| 129840 | F | F | F |
| 130999 | F | F | F |
| 132326 | F | F | F |
Independent-effect pairs
c0(branch11): GAP view gap →scry_mcdc::drive· br_if
inlined: lib.rs:283c1(branch12): GAP view gap →scry_mcdc::drive· br_if
inlined: lib.rs:283