Decision #465 — library/alloc/src/collections/btree/map.rs:1889
Status: no_witness
Truth table
| row | c0 br 3075 | c1 br 3076 | outcome |
|---|---|---|---|
| 181143 | F | F | F |
| 181144 | F | F | F |
| 184463 | F | F | F |
| 184464 | F | F | F |
| 187570 | F | F | F |
| 187571 | F | F | F |
Independent-effect pairs
c0(branch3075): GAP view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch3076): GAP view gap →scry_analyze_core::handle_memory_load· br_if