Decision #491 — library/core/src/ptr/mod.rs:1939

Status: no_witness

Truth table

rowc0 br 3157c1 br 3164c2 br 3421c3 br 3440c4 br 3446c5 br 3447outcome
14739*T****T
14740*T**T*T
14741*T****T
14742*T**T*T
14743*T****T
14744*T**T*T
14745*T****T
14746*T****T
14747FF*FFFT
14748*T****T
14749*T****T
14750*F*FFFT
99739FT****T
99740*T****T
99741*T****T
99742*T**FFT
99743*T****T
99744*T****T
99745FF*FFFT
99746*T****T
99747*T****T
99748*T****T
99749*T****T
99750*F*FFFT
108228FT****T
108229*T****T
108230*T****T
108231*T**FFT
108232*T****T
108233*T****T
108234FF*FFFT
108235*T****T
108236*T****T
108237*T****T
108238*T****T
108239*F*FFFT
379690FT****T
379691*T****T
379692*T****T
379693*T**FFT
382574FT****T
382575*T****T
382576*T****T
382577*T**FFT

Independent-effect pairs