Decision #134 — library/core/src/ptr/mod.rs:552
Status: no_witness
Truth table
| row | c0 br 852 | c1 br 853 | outcome |
|---|---|---|---|
| 40554 | F | F | T |
| 40555 | F | F | T |
| 40556 | F | F | T |
| 40557 | F | F | T |
| 43522 | F | F | T |
| 43523 | F | F | T |
| 43524 | F | F | T |
| 43525 | F | F | T |
| 46975 | F | F | T |
| 46976 | F | F | T |
| 46977 | F | F | T |
| 46978 | F | F | T |
| 50094 | F | F | T |
| 50095 | F | F | T |
| 50096 | F | F | T |
| 50097 | F | F | T |
| 79221 | F | F | T |
| 79222 | F | F | T |
Independent-effect pairs
c0(branch852): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch853): GAP view gap →scry_analyze_core::Interp::seq· br_if