Decision #570 — library/alloc/src/collections/btree/node.rs:731
Status: no_witness
Truth table
| row | c0 br 3930 | c1 br 3931 | outcome |
|---|---|---|---|
| 30787 | T | * | T |
| 51642 | T | * | T |
| 72568 | F | T | T |
| 72569 | T | * | T |
| 82451 | F | T | T |
| 82452 | T | * | T |
| 92187 | T | * | T |
| 92188 | T | * | T |
| 100016 | T | * | T |
| 100017 | T | * | T |
| 108505 | T | * | T |
| 108506 | T | * | T |
| 116531 | T | * | T |
| 116532 | T | * | T |
| 124527 | T | * | T |
| 141246 | T | * | T |
| 215816 | T | * | T |
| 224257 | F | T | T |
| 224258 | T | * | T |
| 301634 | F | T | T |
| 301635 | T | * | T |
| 377120 | T | * | T |
| 379777 | T | * | T |
| 382661 | T | * | T |
Independent-effect pairs
c0(branch3930): GAP view gap →scry_analyze_core::compute_pentagon_facts· br_if
inlined: library/alloc/src/collections/btree/map.rs:1936 ← library/alloc/src/collections/btree/navigate.rs:214 ← library/alloc/src/collections/btree/navigate.rs:187c1(branch3931): GAP view gap →scry_analyze_core::compute_pentagon_facts· br_if
inlined: library/alloc/src/collections/btree/map.rs:1936 ← library/alloc/src/collections/btree/navigate.rs:214 ← library/alloc/src/collections/btree/navigate.rs:187