Decision #983 — library/alloc/src/raw_vec/mod.rs:470

Status: no_witness

Truth table

rowc0 br 6326c1 br 6327c2 br 6332outcome
33712FFFT
33713FFFT
54566FFFT
54567FFFT
125875FFFT
125876FFFT
125877FFFT
125878FFFT
125879FFFT
125880FFFT
125881FFFT
125882FFFT
142594FFFT
142595FFFT
142596FFFT
142597FFFT
142598FFFT
142599FFFT
142600FFFT
142601FFFT
240600FFFT
240601FFFT
317977FFFT
317978FFFT

Independent-effect pairs

All 3 conditions live in scry_octagon::assign_const — 3 br_if