Decision #1255 — library/core/src/iter/adapters/map.rs:69

Status: no_witness

Truth table

rowc0 br 8479c1 br 8481c2 br 8485c3 br 8486c4 br 8487outcome
2716T****T
2717T****T
2718T****T
9673T****T
9674T****T
9675T****T
16494T****T
16495T****T
16496T****T
160225TTTTTT
160226TTTTTT
160227TTTTTT
160228TTTTTT
160229TTTTTT
160230TTTTTT
160231TTTTTT
160232TTTTTT
160233TT***T
160234TT***T
160235TT***T
160236TT***T
170083TTTTTT
170084TTTTTT
170085TTTTTT
170086TTTTTT
170087TTTTTT
170088TTTTTT
170089TTTTTT
170090TTTTTT
170091TT***T
170092TT***T
170093TT***T
170094TT***T
181830T****T
185146T****T
188257T****T
192326TT***T
192327TT***T
192328TT***T
198353TT***T
198354TT***T
198355TT***T
204180TT***T
204181TT***T
204182TT***T
209459TT***T
209460TT***T
209461TT***T
209462TT***T
209463TT***T
209464TT***T
217124TT***T
217125TT***T
217126TT***T

Independent-effect pairs

All 5 conditions live in <wasmparser::binary_reader::BinaryReader>::read_var_i32_big — 5 br_if