Decision #848 — library/core/src/ptr/mod.rs:1731

Status: no_witness

Truth table

rowc0 br 5713c1 br 5714c2 br 5715outcome
31404TFFT
31405TFFT
31406TFFT
31407TFFT
31408TFFT
31409TFFT
31410TFFT
31411TFFT
31412TFFT
31413TFFT
31414TFFT
52258TFFT
52259TFFT
52260TFFT
52261TFFT
52262TFFT
52263TFFT
52264TFFT
52265TFFT
52266TFFT
52267TFFT
52268TFFT
73300TFFT
73301TFFT
73302TFFT
73303TFFT
73304TFFT
73305TFFT
73306TFFT
73307TFFT
73308TFFT
73309TFFT
73310TFFT
73311TFFT
83183TFFT
83184TFFT
83185TFFT
83186TFFT
83187TFFT
83188TFFT
83189TFFT
83190TFFT
83191TFFT
83192TFFT
83193TFFT
83194TFFT
125237TFFT
125238TFFT
125239TFFT
125240TFFT
125241TFFT
125242TFFT
125243TFFT
125244TFFT
125245TFFT
125246TFFT
125247TFFT
125248TFFT
125249TFFT
141956TFFT
141957TFFT
141958TFFT
141959TFFT
141960TFFT
141961TFFT
141962TFFT
141963TFFT
141964TFFT
141965TFFT
141966TFFT
141967TFFT
141968TFFT
216269TFFT
216270TFFT
216271TFFT
216272TFFT
216273TFFT
216274TFFT
216275TFFT
216276TFFT
216277TFFT
225263TFFT
225264TFFT
225265TFFT
225266TFFT
225267TFFT
225268TFFT
225269TFFT
225270TFFT
225271TFFT
225272TFFT
225273TFFT
225274TFFT
302640TFFT
302641TFFT
302642TFFT
302643TFFT
302644TFFT
302645TFFT
302646TFFT
302647TFFT
302648TFFT
302649TFFT
302650TFFT
302651TFFT

Independent-effect pairs