Decision #443 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 2793 | c1 br 2795 | outcome |
|---|---|---|---|
| 944 | T | T | T |
| 945 | T | T | T |
| 946 | T | T | T |
| 947 | T | T | T |
| 7904 | T | T | T |
| 7905 | T | T | T |
| 7906 | T | T | T |
| 7907 | T | T | T |
| 14645 | T | T | T |
| 14646 | T | T | T |
| 14647 | T | T | T |
| 14648 | T | T | T |
Independent-effect pairs
c0(branch2793): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:7148 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch2795): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6832 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043