Decision #137 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 963 | c1 br 965 | outcome |
|---|---|---|---|
| 79223 | T | * | T |
| 79224 | T | * | T |
| 79225 | T | * | T |
| 79226 | T | * | T |
| 84194 | F | F | T |
| 84195 | F | F | T |
| 85632 | T | * | T |
| 85633 | T | * | T |
| 85634 | T | * | T |
| 85635 | T | * | T |
| 85636 | T | * | T |
| 85637 | T | * | T |
| 87579 | F | F | T |
| 87580 | F | F | T |
| 88937 | T | * | T |
| 88938 | T | * | T |
| 88939 | T | * | T |
| 88940 | T | * | T |
| 90825 | F | F | T |
| 90826 | F | F | T |
Independent-effect pairs
c0(branch963): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:4390 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250c1(branch965): GAP view gap →scry_analyze_core::Interp::seq· br_if