Decision #6 — lib.rs:87
Status: no_witness
Truth table
| row | c0 br 36 | c1 br 41 | c2 br 50 | outcome |
|---|---|---|---|---|
| 21 | T | * | * | T |
| 22 | T | * | * | T |
| 23 | T | * | * | T |
| 24 | T | * | * | T |
| 25 | F | T | T | T |
| 26 | * | * | T | T |
| 27 | * | * | T | T |
| 28 | * | * | T | T |
| 29 | * | * | F | T |
| 3061 | T | * | * | T |
| 3062 | T | * | * | T |
| 3063 | T | * | * | T |
| 3064 | T | * | * | T |
| 3065 | F | T | T | T |
| 3066 | * | * | T | T |
| 3067 | * | * | T | T |
| 3068 | * | * | T | T |
| 3069 | * | * | F | T |
| 5955 | T | * | * | T |
| 5956 | T | * | * | T |
| 5957 | T | * | * | T |
| 5958 | T | * | * | T |
| 5959 | F | T | T | T |
| 5960 | * | * | T | T |
| 5961 | * | * | T | T |
| 5962 | * | * | T | T |
| 5963 | * | * | F | T |
| 9402 | F | T | F | T |
| 10550 | F | T | F | T |
| 11641 | F | T | F | T |
| 12801 | F | T | F | T |
| 20519 | F | T | F | T |
| 28163 | F | T | F | T |
| 34101 | F | T | F | T |
| 40048 | T | * | * | T |
| 40049 | T | * | * | T |
| 40050 | F | T | T | T |
| 40051 | * | * | T | T |
| 40052 | * | * | F | T |
| 43016 | T | * | * | T |
| 43017 | T | * | * | T |
| 43018 | F | T | T | T |
| 43019 | * | * | T | T |
| 43020 | * | * | F | T |
| 46468 | T | * | * | T |
| 46469 | T | * | * | T |
| 46470 | F | T | T | T |
| 46471 | * | * | T | T |
| 46472 | * | * | F | T |
| 49588 | T | * | * | T |
| 49589 | T | * | * | T |
| 49590 | F | T | T | T |
| 49591 | * | * | T | T |
| 49592 | * | * | F | T |
| 52556 | F | T | F | T |
| 62328 | F | T | F | T |
| 72111 | T | * | * | T |
| 72112 | T | * | * | T |
| 72113 | T | * | * | T |
| 72114 | T | * | * | T |
| 72115 | T | * | * | T |
| 72116 | F | T | T | T |
| 72117 | * | * | T | T |
| 72118 | * | * | T | T |
| 72119 | * | * | T | T |
| 72120 | * | * | T | T |
| 72121 | * | * | F | T |
| 75586 | T | * | * | T |
| 75587 | T | * | * | T |
| 75588 | T | * | * | T |
| 75589 | T | * | * | T |
| 75590 | T | * | * | T |
| 75591 | F | T | T | T |
| 75592 | * | * | T | T |
| 75593 | * | * | T | T |
| 75594 | * | * | T | T |
| 75595 | * | * | T | T |
| 75596 | * | * | F | T |
| 79036 | T | * | * | T |
| 79037 | T | * | * | T |
| 79038 | F | T | T | T |
| 79039 | * | * | T | T |
| 79040 | * | * | F | T |
| 80633 | F | T | F | T |
| 81820 | F | T | F | T |
| 82882 | F | T | F | T |
| 84065 | F | T | F | T |
| 85327 | T | * | * | T |
| 85328 | T | * | * | T |
| 85329 | F | T | T | T |
| 85330 | * | * | T | T |
| 85331 | * | * | F | T |
| 87472 | F | T | F | T |
| 88636 | T | * | * | T |
| 88637 | F | T | T | T |
| 88638 | * | * | F | T |
| 90673 | F | T | F | T |
| 92134 | F | T | F | T |
| 110997 | F | T | F | T |
| 129846 | F | T | F | T |
| 131005 | F | T | F | T |
| 132332 | F | T | F | T |
Independent-effect pairs
c0(branch36): GAP view gap →scry_mcdc::drive· br_if
inlined: lib.rs:276c1(branch41): GAP view gap →scry_mcdc::drive· br_if
inlined: lib.rs:277c2(branch50): GAP view gap →scry_mcdc::drive· br_if
inlined: lib.rs:250