Decision #301 — library/core/src/ptr/mod.rs:810

Status: no_witness

Truth table

rowc0 br 2314c1 br 2316c2 br 2317c3 br 2319c4 br 2320c5 br 2321c6 br 2334c7 br 2342c8 br 2343c9 br 2344c10 br 2345c11 br 2346outcome
883*T**********T
884*T**********T
885*T**********T
886*T**********T
887*TF**FT*****T
3923*T**********T
3924*T**********T
3925*T**********T
3926*T**********T
3927*TF**T******T
6868*T**********T
6869*T**********T
6870*T**********T
6871*T**********T
6872*TFFT*******T
6873****T*******T
6874****T*******T
6875****T*******T
6876****FFT*****T
9699*TF**FT*****T
10847*TF**T******T
11938*TF**FT*****T
13724*TF**FT*****T
21442*TF**T******T
29452*TF**FT*****T
35390*TF**FT*****T
40914T***********T
40915FT**********T
40916*T**********T
40917*TF**FT*****T
43925T***********T
43926FT**********T
43927*T**********T
43928*TFFT*******T
43929****T*******T
43930****FFT*****T
47378T***********T
47379FT**********T
47380*T**********T
47381*TFFT*******T
47382****T*******T
47383****FT******T
50454T***********T
50455FT**********T
50456*T**********T
50457*TF**FT*****T
53717*TF**FT*****T
63489*TF**FT*****T
73249*T**********T
73250*T**********T
73251*T**********T
73252*T**********T
73253*T**********T
73254*TF**FT*****T
76724*T**********T
76725*T**********T
76726*T**********T
76727*T**********T
76728*T**********T
76729*TF**FT*****T
79418*T**********T
79419*T**********T
79420*TF**FT*****T
80903*TF**FT*****T
82090*TF**T******T
83152*TF**FT*****T
84354*TF**FT*****T
86037*T**********T
86038*T**********T
86039*TF**FT*****T
87708*TF**FT*****T
89343*T**********T
89344*TF**FT*****T
91028*TF**FT*****T
93661*TF**FT*****T
112524*TF**FT*****T
130116*TF**FT*****T
131291*TFFFFT*****T
132618*TFFFT******T

Independent-effect pairs