Decision #38 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 223 | c1 br 227 | c2 br 228 | c3 br 229 | outcome |
|---|---|---|---|---|---|
| 164 | F | * | * | * | T |
| 165 | F | * | * | * | T |
| 166 | F | * | * | * | T |
| 167 | F | * | * | * | T |
| 168 | F | * | * | * | T |
| 3204 | F | * | * | * | T |
| 3205 | F | * | * | * | T |
| 3206 | F | * | * | * | T |
| 3207 | F | * | * | * | T |
| 3208 | F | * | * | * | T |
| 6099 | F | * | * | * | T |
| 6100 | F | * | * | * | T |
| 6101 | F | * | * | * | T |
| 6102 | F | * | * | * | T |
| 6103 | F | * | * | * | T |
| 9457 | F | * | * | * | T |
| 10605 | F | * | * | * | T |
| 11696 | F | * | * | * | T |
| 12896 | F | * | * | * | T |
| 20614 | F | * | * | * | T |
| 28283 | F | * | * | * | T |
| 34221 | F | * | * | * | T |
| 40151 | F | * | * | * | T |
| 40152 | F | * | * | * | T |
| 40153 | F | * | * | * | T |
| 43119 | F | * | * | * | T |
| 43120 | F | * | * | * | T |
| 43121 | F | * | * | * | T |
| 46572 | F | * | * | * | T |
| 46573 | F | * | * | * | T |
| 46574 | F | * | * | * | T |
| 49691 | F | * | * | * | T |
| 49692 | F | * | * | * | T |
| 49693 | F | * | * | * | T |
| 52659 | F | * | * | * | T |
| 62431 | F | * | * | * | T |
| 72284 | F | * | * | * | T |
| 72285 | F | * | * | * | T |
| 72286 | F | * | * | * | T |
| 72287 | F | * | * | * | T |
| 72288 | F | * | * | * | T |
| 72289 | F | * | * | * | T |
| 75759 | F | * | * | * | T |
| 75760 | F | * | * | * | T |
| 75761 | F | * | * | * | T |
| 75762 | F | * | * | * | T |
| 75763 | F | * | * | * | T |
| 75764 | F | * | * | * | T |
| 79118 | F | F | F | F | T |
| 79119 | F | * | * | * | T |
| 79120 | F | * | * | * | T |
| 80687 | F | * | * | * | T |
| 81874 | F | * | * | * | T |
| 82936 | F | * | * | * | T |
| 84130 | F | * | * | * | T |
| 85456 | F | * | * | * | T |
| 85457 | F | * | * | * | T |
| 85458 | F | * | * | * | T |
| 87531 | F | * | * | * | T |
| 88763 | F | * | * | * | T |
| 88764 | F | * | * | * | T |
| 90752 | F | * | * | * | T |
| 92258 | F | * | * | * | T |
| 111121 | F | * | * | * | T |
| 129899 | F | * | * | * | T |
| 131058 | F | * | * | * | T |
| 132385 | F | * | * | * | T |
Independent-effect pairs
c0(branch223): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2229 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch227): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2222 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch228): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2222 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c3(branch229): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2222 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045