Decision #335 — library/core/src/ptr/mod.rs:643

Status: no_witness

Truth table

rowc0 br 2442c1 br 2443outcome
999FTT
1000*TT
1001*TT
1002*TT
1003FFT
1004*TT
1005*TT
1006*TT
1007*TT
1008*FT
4039FTT
4040*TT
4041*TT
4042*TT
4043FFT
4044*TT
4045*TT
4046*TT
4047*TT
4048*FT
6988FTT
6989*TT
6990*TT
6991*TT
6992FFT
6993*TT
6994*TT
6995*TT
6996*TT
6997*FT
9745FFT
9746FFT
10893FFT
10894FFT
11984FFT
11985FFT
13792FFT
13793FFT
21510FFT
21511FFT
29517FFT
29518FFT
35455FFT
35456FFT
41016FTT
41017*TT
41018FFT
41019*TT
41020*TT
41021*FT
44029FTT
44030*TT
44031FFT
44032*TT
44033*TT
44034*FT
47481FTT
47482*TT
47483FFT
47484*TT
47485*TT
47486*FT
50556FTT
50557*TT
50558FFT
50559*TT
50560*TT
50561*FT
53785FFT
53786FFT
63557FFT
63558FFT
73391FTT
73392*TT
73393*TT
73394*TT
73395*TT
73396FFT
73397*TT
73398*TT
73399*TT
73400*TT
73401*TT
73402*FT
76866FTT
76867*TT
76868*TT
76869*TT
76870*TT
76871FFT
76872*TT
76873*TT
76874*TT
76875*TT
76876*TT
76877*FT
79490FTT
79491*TT
79492FFT
79493*TT
79494*TT
79495*FT
80951FFT
80952FFT
82138FFT
82139FFT
83200FFT
83201FFT
84423FFT
84424FFT
86164FTT
86165*TT
86166FFT
86167*TT
86168*TT
86169*FT
87769FFT
87770FFT
89473FTT
89474FFT
89475*TT
89476*FT
91117FFT
91118FFT
93731FFT
93732FFT
112594FFT
112595FFT
130159FFT
130160FFT
131334FFT
131335FFT
132661FFT
132662FFT

Independent-effect pairs