Decision #442 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 3080 | c1 br 3081 | outcome |
|---|---|---|---|
| 546 | F | F | F |
| 547 | F | F | F |
| 548 | F | F | F |
| 549 | F | F | F |
| 4340 | F | F | F |
| 4341 | F | F | F |
| 4342 | F | F | F |
| 4343 | F | F | F |
| 8070 | F | F | F |
| 8071 | F | F | F |
| 8072 | F | F | F |
| 8073 | F | F | F |
| 47757 | F | F | F |
| 51926 | F | F | F |
| 56464 | F | F | F |
| 60681 | F | F | F |
| 95981 | F | F | F |
| 105571 | F | F | F |
| 105572 | F | F | F |
| 111384 | F | F | F |
Independent-effect pairs
c0(branch3080): GAP view gap →scry_analyze_core::compute_stack_usage· br_ifc1(branch3081): GAP view gap →scry_analyze_core::compute_stack_usage· br_if