Decision #227 — library/core/src/ptr/mod.rs:552
Status: no_witness
Truth table
| row | c0 br 1771 | c1 br 1772 | outcome |
|---|---|---|---|
| 696 | T | * | T |
| 697 | F | T | T |
| 3736 | T | * | T |
| 3737 | F | T | T |
| 6681 | T | * | T |
| 6682 | F | T | T |
| 9620 | F | T | T |
| 10768 | F | T | T |
| 11859 | F | T | T |
| 13523 | F | T | T |
| 21241 | F | T | T |
| 29136 | F | T | T |
| 35074 | F | T | T |
| 40741 | T | * | T |
| 40742 | F | T | T |
| 43752 | T | * | T |
| 43753 | F | T | T |
| 47205 | T | * | T |
| 47206 | F | T | T |
| 50281 | T | * | T |
| 50282 | F | T | T |
| 53478 | F | T | T |
| 63250 | F | T | T |
| 72971 | T | * | T |
| 72972 | T | * | T |
| 72973 | T | * | T |
| 72974 | T | * | T |
| 72975 | T | * | T |
| 72976 | F | T | T |
| 76446 | T | * | T |
| 76447 | T | * | T |
| 76448 | T | * | T |
| 76449 | T | * | T |
| 76450 | T | * | T |
| 76451 | F | T | T |
| 79322 | F | T | T |
| 80833 | F | T | T |
| 82020 | F | T | T |
| 83082 | F | T | T |
| 84275 | F | T | T |
| 85866 | F | T | T |
| 87640 | F | T | T |
| 89171 | F | T | T |
| 90919 | F | T | T |
| 93260 | F | T | T |
| 112123 | F | T | T |
| 130053 | F | T | T |
| 131228 | F | T | T |
| 132555 | F | T | T |
Independent-effect pairs
c0(branch1771): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_ifc1(branch1772): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if