Decision #407 — library/core/src/ptr/mod.rs:552

Status: no_witness

Truth table

rowc0 br 2804c1 br 2811outcome
13914FFT
13915FFT
21632FFT
21633FFT
53965FFT
53966FFT
53967FFT
53968FFT
53969FFT
53970FFT
53971FFT
53972FFT
63737FFT
63738FFT
63739FFT
63740FFT
63741FFT
63742FFT
63743FFT
63744FFT
94088FFT
94089FFT
112951FFT
112952FFT

Independent-effect pairs