Decision #615 — library/core/src/ptr/mod.rs:825
Status: no_witness
Truth table
| row | c0 br 4024 | c1 br 4025 | outcome |
|---|---|---|---|
| 16757 | T | T | T |
| 16758 | T | T | T |
| 26237 | T | T | T |
| 26238 | T | T | T |
| 35913 | T | T | T |
| 35914 | T | T | T |
| 42126 | T | T | T |
| 42127 | T | T | T |
| 65375 | T | T | T |
| 65376 | T | T | T |
| 76888 | T | T | T |
| 76889 | T | T | T |
| 118972 | T | T | T |
| 118973 | T | T | T |
| 118974 | T | T | T |
| 118975 | T | T | T |
| 141908 | T | T | T |
| 141909 | T | T | T |
| 141910 | T | T | T |
| 141911 | T | T | T |
Independent-effect pairs
c0(branch4024): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4223 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch4025): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4223 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825