Decision #177 — library/core/src/ptr/mod.rs:1921

Status: no_witness

Truth table

rowc0 br 1528c1 br 1541outcome
535TFF
536*FF
537*FF
538*FF
539*FF
540*FF
3575TFF
3576*FF
3577*FF
3578*FF
3579*FF
3580*FF
6520TFF
6521*FF
6522*FF
6523*FF
6524*FF
6525*FF
9599T*T
10747T*T
11838T*T
13492T*T
21210T*T
29106T*T
35044T*T
40679TFF
43690TFF
47143TFF
50219TFF
53447T*T
63219T*T
72867T*T
76342T*T
79276TFF
80813T*T
82000T*T
83062T*T
84242T*T
85780TFF
85781*FF
87611T*T
89090TFF
90872T*T
93228T*T
112091T*T
130034T*T
131209T*T
132536T*T

Independent-effect pairs