Decision #535 — library/alloc/src/collections/btree/search.rs:225
Status: no_witness
Truth table
| row | c0 br 3831 | c1 br 3834 | outcome |
|---|---|---|---|
| 92015 | F | * | T |
| 99844 | F | * | T |
| 108333 | F | * | T |
| 116359 | F | * | T |
| 176516 | T | F | T |
| 176517 | T | F | T |
| 181189 | T | F | T |
| 184508 | T | F | T |
| 187616 | T | F | T |
| 207814 | T | F | T |
| 207815 | T | F | T |
| 215644 | F | * | T |
| 215645 | T | F | T |
Independent-effect pairs
c0(branch3831): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: library/alloc/src/collections/btree/search.rs:58 ← library/alloc/src/collections/btree/search.rs:203c1(branch3834): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if