Decision #33 — library/alloc/src/raw_vec/mod.rs:434

Status: no_witness

Truth table

rowc0 br 218c1 br 219outcome
137FFT
138FFT
139FFT
140FFT
141FFT
3177FFT
3178FFT
3179FFT
3180FFT
3181FFT
6072FFT
6073FFT
6074FFT
6075FFT
6076FFT
9452FFT
10600FFT
11691FFT
12891FFT
20609FFT
28278FFT
34216FFT
40136FFT
40137FFT
40138FFT
43104FFT
43105FFT
43106FFT
46557FFT
46558FFT
46559FFT
49676FFT
49677FFT
49678FFT
52654FFT
62426FFT
72259FFT
72260FFT
72261FFT
72262FFT
72263FFT
72264FFT
75734FFT
75735FFT
75736FFT
75737FFT
75738FFT
75739FFT
79104FFT
79105FFT
79106FFT
80682FFT
81869FFT
82931FFT
84125FFT
85441FFT
85442FFT
85443FFT
87526FFT
88753FFT
88754FFT
90746FFT
92253FFT
111116FFT
129894FFT
131053FFT
132380FFT

Independent-effect pairs