Decision #575 — library/alloc/src/collections/btree/node.rs:731
Status: no_witness
Truth table
| row | c0 br 3948 | c1 br 3949 | outcome |
|---|---|---|---|
| 176636 | F | F | F |
| 176637 | F | F | F |
| 208183 | F | F | F |
| 208184 | F | F | F |
| 215835 | F | F | F |
Independent-effect pairs
c0(branch3948): GAP view gap →scry_analyze_core::resolved_stack_callees· br_ifc1(branch3949): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if