Decision #460 — library/alloc/src/raw_vec/mod.rs:614
Status: full_mcdc
Truth table
| row | c0 br 3185 | c1 br 3198 | outcome |
|---|---|---|---|
| 597 | T | * | T |
| 598 | F | * | F |
| 599 | T | * | T |
| 600 | T | * | T |
| 601 | F | T | T |
| 602 | * | T | T |
| 603 | * | T | T |
| 604 | * | T | T |
| 605 | * | F | F |
| 4391 | T | * | T |
| 4392 | F | * | F |
| 4393 | T | * | T |
| 4394 | T | * | T |
| 4395 | F | T | T |
| 4396 | * | T | T |
| 4397 | * | T | T |
| 4398 | * | T | T |
| 4399 | * | F | F |
| 8121 | T | * | T |
| 8122 | F | * | F |
| 8123 | T | * | T |
| 8124 | T | * | T |
| 8125 | F | T | T |
| 8126 | * | T | T |
| 8127 | * | T | T |
| 8128 | * | T | T |
| 8129 | * | F | F |
| 11884 | * | F | F |
| 13260 | * | F | F |
| 14585 | * | F | F |
| 16448 | * | F | F |
| 25928 | * | F | F |
| 35557 | * | F | F |
| 41770 | * | F | F |
| 47797 | * | T | T |
| 47798 | * | T | T |
| 47799 | * | F | F |
| 51966 | * | T | T |
| 51967 | * | T | T |
| 51968 | * | F | F |
| 56504 | * | T | T |
| 56505 | * | T | T |
| 56506 | * | F | F |
| 60721 | * | T | T |
| 60722 | * | T | T |
| 60723 | * | F | F |
| 65044 | * | F | F |
| 76557 | * | F | F |
| 88098 | * | T | T |
| 88099 | * | T | T |
| 88100 | * | T | T |
| 88101 | * | T | T |
| 88102 | * | T | T |
| 88103 | * | F | F |
| 92366 | * | T | T |
| 92367 | * | T | T |
| 92368 | * | T | T |
| 92369 | * | T | T |
| 92370 | * | T | T |
| 92371 | * | F | F |
| 96008 | * | T | T |
| 96009 | * | T | T |
| 96010 | * | F | F |
| 97947 | * | F | F |
| 99464 | * | F | F |
| 100880 | * | F | F |
| 102559 | * | F | F |
| 105641 | * | T | T |
| 105642 | * | T | T |
| 105643 | * | F | F |
| 108932 | * | F | F |
| 111445 | * | T | T |
| 111446 | * | F | F |
| 114435 | * | F | F |
| 118502 | * | F | F |
| 141438 | * | F | F |
| 163180 | * | F | F |
| 164751 | * | F | F |
| 166473 | * | F | F |
Independent-effect pairs
c0(branch3185): PROVED — pair rows597,598(masking)scry_analyze_core::resolved_stack_callees· br_if
inlined: library/alloc/src/vec/mod.rs:1864 ← library/alloc/src/vec/mod.rs:1968 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch3198): PROVED — pair rows601,605(masking)scry_analyze_core::resolved_stack_callees· br_if
inlined: library/alloc/src/vec/mod.rs:1864 ← library/alloc/src/vec/mod.rs:1968 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609