Decision #685 — library/core/src/ptr/mod.rs:823
Status: partial
Truth table
| row | c0 br 4488 | c1 br 4513 | outcome |
|---|---|---|---|
| 1652 | F | F | F |
| 1653 | F | * | F |
| 1654 | T | * | T |
| 8612 | F | F | F |
| 8613 | F | * | F |
| 8614 | T | * | T |
| 15413 | F | F | F |
| 15414 | F | * | F |
| 15415 | T | * | T |
| 21830 | F | * | F |
| 21831 | T | * | T |
| 24573 | F | * | F |
| 24574 | T | * | T |
| 27216 | F | * | F |
| 27217 | T | * | T |
| 30942 | F | * | F |
| 30943 | T | * | T |
| 51797 | F | * | F |
| 51798 | T | * | T |
| 72715 | F | * | F |
| 72716 | T | * | T |
| 82598 | F | * | F |
| 82599 | T | * | T |
| 92405 | F | * | F |
| 92406 | F | * | F |
| 92407 | T | * | T |
| 100234 | F | * | F |
| 100235 | F | * | F |
| 100236 | T | * | T |
| 108723 | F | * | F |
| 108724 | F | * | F |
| 108725 | T | * | T |
| 116749 | F | * | F |
| 116750 | F | * | F |
| 116751 | T | * | T |
| 124682 | F | * | F |
| 124683 | T | * | T |
| 141401 | F | * | F |
| 141402 | T | * | T |
| 158962 | F | * | F |
| 158963 | F | * | F |
| 158964 | F | * | F |
| 158965 | F | * | F |
| 158966 | F | * | F |
| 158967 | F | * | F |
| 158968 | T | * | T |
| 168820 | F | * | F |
| 168821 | F | * | F |
| 168822 | F | * | F |
| 168823 | F | * | F |
| 168824 | F | * | F |
| 168825 | F | * | F |
| 168826 | T | * | T |
| 176777 | F | * | F |
| 176778 | T | * | T |
| 181326 | F | * | F |
| 181327 | T | * | T |
| 184645 | F | * | F |
| 184646 | T | * | T |
| 187753 | F | * | F |
| 187754 | T | * | T |
| 191376 | F | * | F |
| 191377 | T | * | T |
| 197103 | F | * | F |
| 197104 | T | * | T |
| 203437 | F | * | F |
| 203438 | T | * | T |
| 208448 | F | * | F |
| 208449 | F | * | F |
| 208450 | F | * | F |
| 208451 | T | * | T |
| 216006 | F | * | F |
| 216007 | T | * | T |
| 224418 | F | * | F |
| 224419 | T | * | T |
| 301795 | F | * | F |
| 301796 | T | * | T |
| 377192 | F | * | F |
| 377193 | T | * | T |
| 379849 | F | * | F |
| 379850 | T | * | T |
| 382733 | F | * | F |
| 382734 | T | * | T |
Independent-effect pairs
c0(branch4488): PROVED — pair rows1652,1654(masking)scry_analyze_core::analyze· br_ifc1(branch4513): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1789 ← library/core/src/iter/adapters/map.rs:107 ← library/core/src/iter/adapters/flatten.rs:64 ← library/core/src/iter/adapters/flatten.rs:528 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823