Decision #459 — library/alloc/src/collections/btree/node.rs:731
Status: partial
Truth table
| row | c0 br 3170 | c1 br 3173 | outcome |
|---|---|---|---|
| 96006 | F | T | T |
| 96007 | F | F | F |
| 111443 | F | T | T |
| 111444 | F | F | F |
| 114434 | F | F | F |
Independent-effect pairs
c0(branch3170): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:600 ← library/alloc/src/collections/btree/navigate.rs:467 ← library/alloc/src/collections/btree/navigate.rs:718 ← library/alloc/src/collections/btree/node.rs:1687c1(branch3173): PROVED — pair rows96006,96007(unique-cause)scry_analyze_core::resolved_stack_callees· br_if