Decision #446 — library/core/src/ptr/mod.rs:549
Status: partial
Truth table
| row | c0 br 2996 | c1 br 2997 | outcome |
|---|---|---|---|
| 30544 | T | F | F |
| 51399 | T | F | F |
| 72260 | T | T | T |
| 82143 | T | T | T |
| 124235 | T | F | F |
| 140954 | T | F | F |
| 215546 | T | T | T |
Independent-effect pairs
c0(branch2996): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234c1(branch2997): PROVED — pair rows30544,72260(unique-cause)<scry_analyze_core::Interp>::seq· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234