Decision #128 — library/alloc/src/vec/set_len_on_drop.rs:19

Status: no_witness

Truth table

rowc0 br 713c1 br 1011outcome
40542*TT
40543*TT
40544*FT
40545*FT
43510*TT
43511*TT
43512*FT
43513*FT
46963*TT
46964*TT
46965*TT
46966*TT
50082*TT
50083*TT
50084*FT
50085*FT
79219*TT
79220*FT

Independent-effect pairs