Decision #1016 — library/alloc/src/raw_vec/mod.rs:635
Status: no_witness
Truth table
| row | c0 br 6451 | c1 br 6460 | outcome |
|---|---|---|---|
| 38449 | F | T | T |
| 38450 | F | T | T |
| 38451 | F | T | T |
| 38452 | F | T | T |
| 38453 | F | T | T |
| 38454 | F | T | T |
| 38455 | F | T | T |
| 38456 | F | T | T |
| 59303 | F | T | T |
| 59304 | F | T | T |
| 59305 | F | T | T |
| 59306 | F | T | T |
| 59307 | F | T | T |
| 59308 | F | T | T |
| 59309 | F | T | T |
| 59310 | F | T | T |
| 74969 | F | T | T |
| 74970 | F | T | T |
| 74971 | F | T | T |
| 74972 | F | T | T |
| 74973 | F | T | T |
| 74974 | F | T | T |
| 74975 | F | T | T |
| 74976 | F | T | T |
| 74977 | F | T | T |
| 74978 | F | T | T |
| 74979 | F | T | T |
| 74980 | F | T | T |
| 74981 | F | T | T |
| 74982 | F | T | T |
| 74983 | F | T | T |
| 74984 | F | T | T |
| 74985 | F | T | T |
| 74986 | F | T | T |
| 74987 | F | T | T |
| 74988 | F | T | T |
| 74989 | F | T | T |
| 74990 | F | T | T |
| 74991 | F | T | T |
| 74992 | F | T | T |
| 84852 | F | T | T |
| 84853 | F | T | T |
| 84854 | F | T | T |
| 84855 | F | T | T |
| 84856 | F | T | T |
| 84857 | F | T | T |
| 84858 | F | T | T |
| 84859 | F | T | T |
| 84860 | F | T | T |
| 84861 | F | T | T |
| 84862 | F | T | T |
| 84863 | F | T | T |
| 84864 | F | T | T |
| 84865 | F | T | T |
| 84866 | F | T | T |
| 84867 | F | T | T |
| 84868 | F | T | T |
| 84869 | F | T | T |
| 84870 | F | T | T |
| 84871 | F | T | T |
| 84872 | F | T | T |
| 84873 | F | T | T |
| 84874 | F | T | T |
| 84875 | F | T | T |
| 131748 | F | T | T |
| 131749 | F | T | T |
| 131750 | F | T | T |
| 131751 | F | T | T |
| 131752 | F | T | T |
| 131753 | F | T | T |
| 131754 | F | T | T |
| 131755 | F | T | T |
| 131756 | F | T | T |
| 131757 | F | T | T |
| 131758 | F | T | T |
| 131759 | F | T | T |
| 148467 | F | T | T |
| 148468 | F | T | T |
| 148469 | F | T | T |
| 148470 | F | T | T |
| 148471 | F | T | T |
| 148472 | F | T | T |
| 148473 | F | T | T |
| 148474 | F | T | T |
| 148475 | F | T | T |
| 148476 | F | T | T |
| 148477 | F | T | T |
| 148478 | F | T | T |
| 216683 | F | T | T |
| 216684 | F | T | T |
| 251919 | F | T | T |
| 251920 | F | T | T |
| 251921 | F | T | T |
| 251922 | F | T | T |
| 251923 | F | T | T |
| 251924 | F | T | T |
| 251925 | F | T | T |
| 251926 | F | T | T |
| 251927 | F | T | T |
| 251928 | F | T | T |
| 251929 | F | T | T |
| 251930 | F | T | T |
| 251931 | F | T | T |
| 251932 | F | T | T |
| 251933 | F | T | T |
| 251934 | F | T | T |
| 251935 | F | T | T |
| 251936 | F | T | T |
| 251937 | F | T | T |
| 251938 | F | T | T |
| 251939 | F | T | T |
| 251940 | F | T | T |
| 251941 | F | T | T |
| 251942 | F | T | T |
| 251943 | F | T | T |
| 251944 | F | T | T |
| 251945 | F | T | T |
| 251946 | F | T | T |
| 329296 | F | T | T |
| 329297 | F | T | T |
| 329298 | F | T | T |
| 329299 | F | T | T |
| 329300 | F | T | T |
| 329301 | F | T | T |
| 329302 | F | T | T |
| 329303 | F | T | T |
| 329304 | F | T | T |
| 329305 | F | T | T |
| 329306 | F | T | T |
| 329307 | F | T | T |
| 329308 | F | T | T |
| 329309 | F | T | T |
| 329310 | F | T | T |
| 329311 | F | T | T |
| 329312 | F | T | T |
| 329313 | F | T | T |
| 329314 | F | T | T |
| 329315 | F | T | T |
| 329316 | F | T | T |
| 329317 | F | T | T |
| 329318 | F | T | T |
| 329319 | F | T | T |
| 329320 | F | T | T |
| 329321 | F | T | T |
| 329322 | F | T | T |
| 329323 | F | T | T |
Independent-effect pairs
c0(branch6451): GAP view gap →scry_octagon::join· br_if
inlined: lib.rs:360 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/raw_vec/mod.rs:425c1(branch6460): GAP view gap →scry_octagon::join· br_if
inlined: lib.rs:502 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/raw_vec/mod.rs:425 ← library/alloc/src/raw_vec/mod.rs:878