Decision #902 — library/alloc/src/raw_vec/mod.rs:470
Status: no_witness
Truth table
| row | c0 br 5956 | c1 br 5957 | outcome |
|---|---|---|---|
| 73414 | T | T | T |
| 73415 | T | T | T |
| 73416 | T | T | T |
| 73417 | T | T | T |
| 83297 | T | T | T |
| 83298 | T | T | T |
| 83299 | T | T | T |
| 83300 | T | T | T |
| 225425 | T | T | T |
| 225426 | T | T | T |
| 225427 | T | T | T |
| 225428 | T | T | T |
| 225429 | T | T | T |
| 225430 | T | T | T |
| 225431 | T | T | T |
| 225432 | T | T | T |
| 225433 | T | T | T |
| 225434 | T | T | T |
| 225435 | T | T | T |
| 225436 | T | T | T |
| 225437 | T | T | T |
| 225438 | T | T | T |
| 225439 | T | T | T |
| 225440 | T | T | T |
| 302802 | T | T | T |
| 302803 | T | T | T |
| 302804 | T | T | T |
| 302805 | T | T | T |
| 302806 | T | T | T |
| 302807 | T | T | T |
| 302808 | T | T | T |
| 302809 | T | T | T |
| 302810 | T | T | T |
| 302811 | T | T | T |
| 302812 | T | T | T |
| 302813 | T | T | T |
| 302814 | T | T | T |
| 302815 | T | T | T |
| 302816 | T | T | T |
| 302817 | T | T | T |
Independent-effect pairs
c0(branch5956): GAP view gap →scry_interval::widen_with_thresholds· br_ifc1(branch5957): GAP view gap →scry_interval::widen_with_thresholds· br_if