Decision #429 — library/alloc/src/vec/mod.rs:1044

Status: no_witness

Truth table

rowc0 br 2787c1 br 2788c2 br 2789c3 br 2792c4 br 2796c5 br 2797c6 br 2802c7 br 2803c8 br 2804outcome
916***TTFFTTT
917***TTFFTTT
918***TTFFTTT
919***TTFFTTT
7876***TTFFTTT
7877***TTFFTTT
7878***TTFFTTT
7879***TTFFTTT
14617***TTFFTTT
14618***TTFFTTT
14619***TTFFTTT
14620***TTFFTTT
91805FFT******T
99582FFT******T
108071FFT******T
116149FFT******T
215493FFT******T

Independent-effect pairs

All 9 conditions live in <scry_analyze_core::Interp>::seq — 9 br_if