Decision #37 — library/core/src/ptr/mod.rs:810
Status: partial
Truth table
| row | c0 br 205 | c1 br 206 | outcome |
|---|---|---|---|
| 158 | F | F | F |
| 159 | F | F | F |
| 160 | F | F | F |
| 161 | F | F | F |
| 162 | F | F | F |
| 163 | T | * | T |
| 3198 | F | F | F |
| 3199 | F | F | F |
| 3200 | F | F | F |
| 3201 | F | F | F |
| 3202 | F | F | F |
| 3203 | T | * | T |
| 6093 | F | F | F |
| 6094 | F | F | F |
| 6095 | F | F | F |
| 6096 | F | F | F |
| 6097 | F | F | F |
| 6098 | T | * | T |
| 9455 | F | F | F |
| 9456 | T | * | T |
| 10603 | F | F | F |
| 10604 | T | * | T |
| 11694 | F | F | F |
| 11695 | T | * | T |
| 12894 | F | F | F |
| 12895 | T | * | T |
| 20612 | F | F | F |
| 20613 | T | * | T |
| 28281 | F | F | F |
| 28282 | T | * | T |
| 34219 | F | F | F |
| 34220 | T | * | T |
| 40147 | F | F | F |
| 40148 | F | F | F |
| 40149 | F | F | F |
| 40150 | T | * | T |
| 43115 | F | F | F |
| 43116 | F | F | F |
| 43117 | F | F | F |
| 43118 | T | * | T |
| 46568 | F | F | F |
| 46569 | F | F | F |
| 46570 | F | F | F |
| 46571 | T | * | T |
| 49687 | F | F | F |
| 49688 | F | F | F |
| 49689 | F | F | F |
| 49690 | T | * | T |
| 52657 | F | F | F |
| 52658 | T | * | T |
| 62429 | F | F | F |
| 62430 | T | * | T |
| 72277 | F | F | F |
| 72278 | F | F | F |
| 72279 | F | F | F |
| 72280 | F | F | F |
| 72281 | F | F | F |
| 72282 | F | F | F |
| 72283 | T | * | T |
| 75752 | F | F | F |
| 75753 | F | F | F |
| 75754 | F | F | F |
| 75755 | F | F | F |
| 75756 | F | F | F |
| 75757 | F | F | F |
| 75758 | T | * | T |
| 79114 | F | F | F |
| 79115 | F | F | F |
| 79116 | F | F | F |
| 79117 | T | * | T |
| 80685 | F | F | F |
| 80686 | T | * | T |
| 81872 | F | F | F |
| 81873 | T | * | T |
| 82934 | F | F | F |
| 82935 | T | * | T |
| 84128 | F | F | F |
| 84129 | T | * | T |
| 85452 | F | F | F |
| 85453 | F | F | F |
| 85454 | F | F | F |
| 85455 | T | * | T |
| 87529 | F | F | F |
| 87530 | T | * | T |
| 88760 | F | F | F |
| 88761 | F | F | F |
| 88762 | T | * | T |
| 90750 | F | F | F |
| 90751 | T | * | T |
| 92256 | F | F | F |
| 92257 | T | * | T |
| 111119 | F | F | F |
| 111120 | T | * | T |
| 129897 | F | F | F |
| 129898 | T | * | T |
| 131056 | F | F | F |
| 131057 | T | * | T |
| 132383 | F | F | F |
| 132384 | T | * | T |
Independent-effect pairs
c0(branch205): PROVED — pair rows158,163(masking)scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2546 ← library/core/src/ptr/mod.rs:810c1(branch206): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2546 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810