Decision #412 — library/alloc/src/collections/btree/map.rs:1889
Status: no_witness
Truth table
| row | c0 br 2572 | c1 br 2573 | c2 br 2574 | c3 br 2739 | c4 br 2740 | outcome |
|---|---|---|---|---|---|---|
| 91649 | * | * | * | T | * | T |
| 91650 | * | * | * | T | * | T |
| 91651 | * | * | * | T | * | T |
| 91652 | * | * | * | T | * | T |
| 99426 | * | * | * | T | * | T |
| 99427 | * | * | * | T | * | T |
| 99428 | * | * | * | T | * | T |
| 99429 | * | * | * | T | * | T |
| 107915 | * | * | * | T | * | T |
| 107916 | * | * | * | T | * | T |
| 107917 | * | * | * | T | * | T |
| 107918 | * | * | * | T | * | T |
| 115993 | * | * | * | T | * | T |
| 115994 | * | * | * | T | * | T |
| 115995 | * | * | * | T | * | T |
| 115996 | * | * | * | T | * | T |
| 176325 | * | * | * | T | * | T |
| 176326 | * | * | * | T | * | T |
| 195954 | * | * | * | T | * | T |
| 195955 | * | * | * | T | * | T |
| 195956 | * | * | * | T | * | T |
| 195957 | * | * | * | T | * | T |
| 215360 | * | * | * | F | F | T |
| 215361 | * | * | * | F | F | T |
| 223344 | F | T | F | * | * | T |
| 300721 | F | T | F | * | * | T |
Independent-effect pairs
All 5 conditions live in <scry_analyze_core::Interp>::seq — 5 br_if
c0(branch2572): GAP view gap →c1(branch2573): GAP view gap →c2(branch2574): GAP view gap →c3(branch2739): GAP view gap →c4(branch2740): GAP view gap →