Decision #325 — library/core/src/ptr/non_null.rs:1650
Status: partial
Truth table
| row | c0 br 1737 | c1 br 1754 | outcome |
|---|---|---|---|
| 243 | F | * | F |
| 244 | T | * | T |
| 245 | T | * | T |
| 246 | T | * | T |
| 247 | T | * | T |
| 7203 | F | * | F |
| 7204 | T | * | T |
| 7205 | T | * | T |
| 7206 | T | * | T |
| 7207 | T | * | T |
| 13941 | F | * | F |
| 13942 | T | * | T |
| 13943 | T | * | T |
| 13944 | T | * | T |
| 13945 | T | * | T |
| 21239 | F | * | F |
| 23982 | F | * | F |
| 26625 | F | * | F |
| 29578 | F | * | F |
| 50433 | F | * | F |
| 71140 | F | * | F |
| 81023 | F | * | F |
| 90887 | F | * | F |
| 90888 | T | * | T |
| 90889 | T | * | T |
| 98661 | F | * | F |
| 98662 | T | * | T |
| 98663 | T | * | T |
| 107155 | F | * | F |
| 107156 | T | * | T |
| 107157 | T | * | T |
| 115231 | F | * | F |
| 115232 | T | * | T |
| 115233 | T | * | T |
| 123075 | F | * | F |
| 139794 | F | * | F |
| 156513 | F | * | F |
| 156514 | T | * | T |
| 156515 | T | * | T |
| 156516 | T | * | T |
| 156517 | T | * | T |
| 156518 | T | * | T |
| 166371 | F | * | F |
| 166372 | T | * | T |
| 166373 | T | * | T |
| 166374 | T | * | T |
| 166375 | T | * | T |
| 166376 | T | * | T |
| 176122 | F | * | F |
| 176123 | T | F | F |
| 176124 | T | * | T |
| 180825 | F | * | F |
| 184145 | F | * | F |
| 187252 | F | * | F |
| 190598 | F | * | F |
| 195013 | F | * | F |
| 195014 | T | * | T |
| 195015 | T | * | T |
| 202909 | F | * | F |
| 206424 | F | * | F |
| 206425 | T | * | T |
| 214700 | F | * | F |
| 222317 | F | * | F |
| 299694 | F | * | F |
| 376746 | F | * | F |
| 379383 | F | * | F |
| 382267 | F | * | F |
Independent-effect pairs
c0(branch1737): PROVED — pair rows243,244(masking)scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:5104 ← library/core/src/slice/iter/macros.rs:180c1(branch1754): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:5088 ← library/core/src/iter/adapters/enumerate.rs:80 ← library/core/src/slice/iter/macros.rs:180