Decision #447 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 2998 | c1 br 2999 | c2 br 3000 | c3 br 3001 | outcome |
|---|---|---|---|---|---|
| 30545 | F | T | F | F | T |
| 51400 | F | T | F | F | T |
| 72261 | * | * | F | F | T |
| 82144 | * | * | F | F | T |
| 124236 | F | T | F | F | T |
| 140955 | F | T | F | F | T |
| 215547 | * | * | F | F | T |
Independent-effect pairs
c0(branch2998): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4424 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch2999): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4424 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c2(branch3000): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4424 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c3(branch3001): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4424 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043