Decision #453 — library/alloc/src/collections/btree/navigate.rs:225
Status: no_witness
Truth table
| row | c0 br 3166 | c1 br 3167 | outcome |
|---|---|---|---|
| 589 | T | * | T |
| 4383 | T | * | T |
| 8113 | T | * | T |
| 11882 | T | * | T |
| 13258 | T | * | T |
| 14583 | T | * | T |
| 16446 | T | * | T |
| 25926 | T | * | T |
| 35554 | T | * | T |
| 41767 | T | * | T |
| 47791 | T | * | T |
| 51960 | T | * | T |
| 56498 | T | * | T |
| 60715 | T | * | T |
| 65042 | T | * | T |
| 76555 | T | * | T |
| 88096 | T | * | T |
| 92364 | T | * | T |
| 96001 | T | * | T |
| 97945 | T | * | T |
| 99462 | T | * | T |
| 100878 | T | * | T |
| 102557 | T | * | T |
| 105635 | T | * | T |
| 108930 | T | * | T |
| 111440 | T | * | T |
| 114431 | T | * | T |
| 118499 | T | * | T |
| 141435 | T | * | T |
| 163178 | T | * | T |
| 164749 | T | * | T |
| 166471 | T | * | T |
Independent-effect pairs
c0(branch3166): GAP view gap →scry_analyze_core::compute_pentagon_facts· br_ifc1(branch3167): DEAD view gap →scry_analyze_core::compute_pentagon_facts· br_if