Decision #124 — library/alloc/src/vec/mod.rs:3023
Status: no_witness
Truth table
| row | c0 br 687 | c1 br 741 | outcome |
|---|---|---|---|
| 13378 | * | F | F |
| 21096 | * | F | F |
| 28884 | * | F | F |
| 34822 | * | F | F |
| 53278 | * | F | F |
| 63050 | * | F | F |
Independent-effect pairs
c0(branch687): DEAD view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2852c1(branch741): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:4341