Decision #442 — library/core/src/ptr/mod.rs:1731
Status: partial
Truth table
| row | c0 br 2745 | c1 br 2746 | outcome |
|---|---|---|---|
| 91850 | F | F | F |
| 91851 | F | F | F |
| 91852 | F | F | F |
| 91853 | F | F | F |
| 99627 | F | F | F |
| 99628 | F | F | F |
| 99629 | F | F | F |
| 99630 | F | F | F |
| 108116 | F | F | F |
| 108117 | F | F | F |
| 108118 | F | F | F |
| 108119 | F | F | F |
| 116194 | F | F | F |
| 116195 | F | F | F |
| 116196 | F | F | F |
| 116197 | F | F | F |
| 176391 | T | * | T |
| 176392 | T | * | T |
| 196276 | T | * | T |
| 196277 | T | * | T |
| 196278 | T | * | T |
| 196279 | T | * | T |
| 215534 | F | F | F |
| 215535 | F | F | F |
Independent-effect pairs
c0(branch2745): PROVED — pair rows91850,176391(masking)<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:8115 ← library/alloc/src/vec/mod.rs:2860c1(branch2746): GAP view gap →<scry_analyze_core::Interp>::seq· br_if