Decision #848 — library/core/src/ptr/mod.rs:1731
Status: no_witness
Truth table
| row | c0 br 5713 | c1 br 5714 | c2 br 5715 | outcome |
|---|---|---|---|---|
| 31404 | T | F | F | T |
| 31405 | T | F | F | T |
| 31406 | T | F | F | T |
| 31407 | T | F | F | T |
| 31408 | T | F | F | T |
| 31409 | T | F | F | T |
| 31410 | T | F | F | T |
| 31411 | T | F | F | T |
| 31412 | T | F | F | T |
| 31413 | T | F | F | T |
| 31414 | T | F | F | T |
| 52258 | T | F | F | T |
| 52259 | T | F | F | T |
| 52260 | T | F | F | T |
| 52261 | T | F | F | T |
| 52262 | T | F | F | T |
| 52263 | T | F | F | T |
| 52264 | T | F | F | T |
| 52265 | T | F | F | T |
| 52266 | T | F | F | T |
| 52267 | T | F | F | T |
| 52268 | T | F | F | T |
| 73300 | T | F | F | T |
| 73301 | T | F | F | T |
| 73302 | T | F | F | T |
| 73303 | T | F | F | T |
| 73304 | T | F | F | T |
| 73305 | T | F | F | T |
| 73306 | T | F | F | T |
| 73307 | T | F | F | T |
| 73308 | T | F | F | T |
| 73309 | T | F | F | T |
| 73310 | T | F | F | T |
| 73311 | T | F | F | T |
| 83183 | T | F | F | T |
| 83184 | T | F | F | T |
| 83185 | T | F | F | T |
| 83186 | T | F | F | T |
| 83187 | T | F | F | T |
| 83188 | T | F | F | T |
| 83189 | T | F | F | T |
| 83190 | T | F | F | T |
| 83191 | T | F | F | T |
| 83192 | T | F | F | T |
| 83193 | T | F | F | T |
| 83194 | T | F | F | T |
| 125237 | T | F | F | T |
| 125238 | T | F | F | T |
| 125239 | T | F | F | T |
| 125240 | T | F | F | T |
| 125241 | T | F | F | T |
| 125242 | T | F | F | T |
| 125243 | T | F | F | T |
| 125244 | T | F | F | T |
| 125245 | T | F | F | T |
| 125246 | T | F | F | T |
| 125247 | T | F | F | T |
| 125248 | T | F | F | T |
| 125249 | T | F | F | T |
| 141956 | T | F | F | T |
| 141957 | T | F | F | T |
| 141958 | T | F | F | T |
| 141959 | T | F | F | T |
| 141960 | T | F | F | T |
| 141961 | T | F | F | T |
| 141962 | T | F | F | T |
| 141963 | T | F | F | T |
| 141964 | T | F | F | T |
| 141965 | T | F | F | T |
| 141966 | T | F | F | T |
| 141967 | T | F | F | T |
| 141968 | T | F | F | T |
| 216269 | T | F | F | T |
| 216270 | T | F | F | T |
| 216271 | T | F | F | T |
| 216272 | T | F | F | T |
| 216273 | T | F | F | T |
| 216274 | T | F | F | T |
| 216275 | T | F | F | T |
| 216276 | T | F | F | T |
| 216277 | T | F | F | T |
| 225263 | T | F | F | T |
| 225264 | T | F | F | T |
| 225265 | T | F | F | T |
| 225266 | T | F | F | T |
| 225267 | T | F | F | T |
| 225268 | T | F | F | T |
| 225269 | T | F | F | T |
| 225270 | T | F | F | T |
| 225271 | T | F | F | T |
| 225272 | T | F | F | T |
| 225273 | T | F | F | T |
| 225274 | T | F | F | T |
| 302640 | T | F | F | T |
| 302641 | T | F | F | T |
| 302642 | T | F | F | T |
| 302643 | T | F | F | T |
| 302644 | T | F | F | T |
| 302645 | T | F | F | T |
| 302646 | T | F | F | T |
| 302647 | T | F | F | T |
| 302648 | T | F | F | T |
| 302649 | T | F | F | T |
| 302650 | T | F | F | T |
| 302651 | T | F | F | T |
Independent-effect pairs
c0(branch5713): GAP view gap →<alloc::vec::Vec<u8> as alloc::vec::spec_extend::SpecExtend<&u8, core::slice::iter::Iter<u8>>>::spec_extend· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:490 ← library/core/src/slice/sort/shared/smallsort.rs:408c1(branch5714): GAP view gap →<alloc::vec::Vec<u8> as alloc::vec::spec_extend::SpecExtend<&u8, core::slice::iter::Iter<u8>>>::spec_extend· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:408c2(branch5715): GAP view gap →<alloc::vec::Vec<u8> as alloc::vec::spec_extend::SpecExtend<&u8, core::slice::iter::Iter<u8>>>::spec_extend· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:408