Decision #457 — library/alloc/src/collections/btree/map.rs:1940
Status: partial
Truth table
| row | c0 br 3178 | c1 br 3179 | outcome |
|---|---|---|---|
| 594 | F | F | F |
| 595 | F | F | F |
| 4388 | F | F | F |
| 4389 | F | F | F |
| 8118 | F | F | F |
| 8119 | F | F | F |
| 47794 | F | F | F |
| 47795 | F | F | F |
| 51963 | F | F | F |
| 51964 | F | F | F |
| 56501 | F | F | F |
| 56502 | F | F | F |
| 60718 | F | F | F |
| 60719 | F | F | F |
| 96003 | F | F | F |
| 105638 | F | F | F |
| 105639 | F | F | F |
| 114432 | F | T | T |
Independent-effect pairs
c0(branch3178): GAP view gap →scry_analyze_core::resolved_stack_callees· br_ifc1(branch3179): PROVED — pair rows594,114432(unique-cause)scry_analyze_core::resolved_stack_callees· br_if