Decision #473 — library/alloc/src/raw_vec/mod.rs:615

Status: no_witness

Truth table

rowc0 br 3113c1 br 3114outcome
30604T*T
30605T*T
51459T*T
51460T*T
124335T*T
124336T*T
124337T*T
124338T*T
124339T*T
124340T*T
124341T*T
124342T*T
141054T*T
141055T*T
141056T*T
141057T*T
141058T*T
141059T*T
141060T*T
141061T*T
224062T*T
224063T*T
301439T*T
301440T*T

Independent-effect pairs