Decision #719 — library/alloc/src/raw_vec/mod.rs:564

Status: no_witness

Truth table

rowc0 br 5177c1 br 5179outcome
1379F*F
1380F*F
4419F*F
4420F*F
7368F*F
7369F*F
9914F*F
11062F*F
12153F*F
18299F*F
26017F*F
31742F*F
37680F*F
41317F*F
41318F*F
44330F*F
44331F*F
47782F*F
47783F*F
50857F*F
50858F*F
59758F*F
69530F*F
73796F*F
77271F*F
79735F*F
81143F*F
82330F*F
83392F*F
84677F*F
86554F*F
88008F*F
89881F*F
91411F*F
107425F*F
126288F*F
130318F*F
131493F*F
132820F*F

Independent-effect pairs