Decision #94 — library/alloc/src/collections/btree/node.rs:731
Status: no_witness
Truth table
| row | c0 br 543 | c1 br 547 | c2 br 548 | outcome |
|---|---|---|---|---|
| 29447 | F | * | F | T |
| 29448 | F | * | F | T |
| 29449 | F | * | F | T |
| 29450 | F | * | F | T |
| 50302 | F | * | F | T |
| 50303 | F | * | F | T |
| 50304 | F | * | F | T |
| 50305 | F | * | F | T |
| 70998 | F | * | F | T |
| 70999 | F | * | F | T |
| 80881 | F | * | F | T |
| 80882 | F | * | F | T |
| 122932 | F | * | F | T |
| 122933 | F | * | F | T |
| 122934 | F | * | F | T |
| 122935 | F | * | F | T |
| 139651 | F | * | F | T |
| 139652 | F | * | F | T |
| 139653 | F | * | F | T |
| 139654 | F | * | F | T |
| 222119 | F | * | F | T |
| 222120 | F | * | F | T |
| 222121 | F | * | F | T |
| 222122 | F | * | F | T |
| 222123 | F | * | F | T |
| 222124 | F | * | F | T |
| 222125 | F | * | F | T |
| 222126 | F | * | F | T |
| 299496 | F | * | F | T |
| 299497 | F | * | F | T |
| 299498 | F | * | F | T |
| 299499 | F | * | F | T |
| 299500 | F | * | F | T |
| 299501 | F | * | F | T |
| 299502 | F | * | F | T |
| 299503 | F | * | F | T |
Independent-effect pairs
All 3 conditions live in <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted::<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::narrow_locals::{closure#0}>> — 3 br_if
c0(branch543): GAP view gap →c1(branch547): DEAD view gap →c2(branch548): GAP view gap →