Decision #109 — library/core/src/ptr/mod.rs:823

Status: no_witness

Truth table

rowc0 br 615c1 br 616c2 br 617c3 br 618c4 br 619c5 br 620c6 br 621c7 br 622c8 br 623c9 br 625c10 br 626c11 br 627c12 br 628c13 br 629c14 br 630c15 br 631c16 br 632c17 br 633c18 br 634c19 br 635c20 br 636c21 br 637c22 br 639outcome
105F****************F*****T
106F****************F*****T
107F****************F*****T
108TFFF****F**FF*****F****T
109TFFF****F**FF*****TF***T
110******************TF***T
111******************F****T
7065F****************F*****T
7066F****************F*****T
7067F****************F*****T
7068TFFF****F**FF*****F****T
7069TFFF****F**FF*****TF***T
7070******************TF***T
7071******************F****T
13803F****************F*****T
13804F****************F*****T
13805F****************F*****T
13806TFFF****F**FF*****F****T
13807TFFF****F**FF*****TF***T
13808******************TF***T
13809******************F****T
21200F****************F*****T
23943F****************F*****T
26586F****************F*****T
29477F****************F*****T
50332F****************F*****T
71042F****************F*****T
80925F****************F*****T
90740F****************F*****T
90741TFFF****F**FF*****F****T
90742TFFF****F**FF*****F****T
98514F****************F*****T
98515TFFF****F**FF*****F****T
98516TFFF****F**FF*****F****T
107008F****************F*****T
107009TFFF****F**FF*****F****T
107010TFFF****F**FF*****F****T
115084F****************F*****T
115085TFFF****F**FF*****F****T
115086TFFF****F**FF*****F****T
122966F****************F*****T
139685F****************F*****T
156336F****************F*****T
156337F****************F*****T
156338F****************F*****T
156339F****************F*****T
156340F****************F*****T
156341F****************F*****T
166194F****************F*****T
166195F****************F*****T
166196F****************F*****T
166197F****************F*****T
166198F****************F*****T
166199F****************F*****T
175982TFFF****F**FF*****F****T
180756F****************F*****T
184076F****************F*****T
187183F****************F*****T
190546F****************F*****T
194862F****************F*****T
194863TFFF****F**FF*****F****T
194864TFFF****F**FF*****F****T
202869F****************F*****T
222197F****************F*****T
299574F****************F*****T
376713F****************F*****T
379350F****************F*****T
382234F****************F*****T

Independent-effect pairs