Decision #336 — library/core/src/ptr/mod.rs:1721

Status: no_witness

Truth table

rowc0 br 2450c1 br 2451outcome
1009FTT
1010*FT
4049FTT
4050*FT
6998FTT
6999*FT
9747FFT
10895FFT
11986FFT
13794FFT
21512FFT
29519FFT
35457FFT
41022FTT
41023*FT
44035FTT
44036*FT
47487FTT
47488*FT
50562FTT
50563*FT
53787FFT
63559FFT
73403FFT
76878FFT
79496FFT
80953FFT
82140FFT
83202FFT
84425FFT
86170FFT
87771FFT
89477FFT
91119FFT
93733FFT
112596FFT
130161FFT
131336FFT
132663FFT

Independent-effect pairs