Decision #356 — library/alloc/src/vec/mod.rs:1039
Status: no_witness
Truth table
| row | c0 br 2280 | c1 br 2294 | outcome |
|---|---|---|---|
| 21518 | F | * | F |
| 24261 | F | * | F |
| 26904 | F | * | F |
| 157604 | F | * | F |
| 157605 | F | * | F |
| 167462 | F | * | F |
| 167463 | F | * | F |
Independent-effect pairs
c0(branch2280): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch2294): DEAD view gap →scry_analyze_core::compute_bit_facts· br_if