Decision #566 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3798 | c1 br 3812 | outcome |
|---|---|---|---|
| 987 | F | F | F |
| 4780 | F | F | F |
| 8511 | F | F | F |
| 11975 | F | F | F |
| 13351 | F | F | F |
| 14676 | F | F | F |
| 16593 | F | F | F |
| 26073 | F | F | F |
| 35696 | F | F | F |
| 41909 | F | F | F |
| 48028 | F | F | F |
| 52197 | F | F | F |
| 56735 | F | F | F |
| 60952 | F | F | F |
| 65189 | F | F | F |
| 76702 | F | F | F |
| 88437 | F | F | F |
| 92705 | F | F | F |
| 96164 | F | F | F |
| 98038 | F | F | F |
| 99555 | F | F | F |
| 100971 | F | F | F |
| 102685 | F | F | F |
| 105957 | F | F | F |
| 109037 | F | F | F |
| 111737 | F | F | F |
| 114618 | F | F | F |
| 118652 | F | F | F |
| 141588 | F | F | F |
| 163259 | F | F | F |
| 164830 | F | F | F |
| 166552 | F | F | F |
Independent-effect pairs
c0(branch3798): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2171 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch3812): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2366 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045