Decision #645 — `parser.rs:1231`

Status: no_witness

Truth table

row	c0 br 4723	c1 br 4724	c2 br 4725	outcome
1277	F	T	F	T
1278	F	T	F	T
4317	F	T	F	T
4318	F	T	F	T
7266	F	T	F	T
7267	F	T	F	T
9867	*	*	F	T
9868	*	*	F	T
11015	*	*	F	T
11016	*	*	F	T
12106	*	*	F	T
12107	*	*	F	T
18249	*	*	F	T
18250	*	*	F	T
25967	*	*	F	T
25968	*	*	F	T
31693	*	*	F	T
31694	*	*	F	T
37631	*	*	F	T
37632	*	*	F	T
41246	*	*	F	T
41247	*	*	F	T
44259	*	*	F	T
44260	*	*	F	T
47711	*	*	F	T
47712	*	*	F	T
50786	*	*	F	T
50787	*	*	F	T
59708	*	*	F	T
59709	*	*	F	T
69480	*	*	F	T
69481	*	*	F	T
73709	*	*	F	T
73710	*	*	F	T
77184	*	*	F	T
77185	*	*	F	T
79668	*	*	F	T
79669	*	*	F	T
81086	*	*	F	T
81087	*	*	F	T
82273	*	*	F	T
82274	*	*	F	T
83335	*	*	F	T
83336	*	*	F	T
84619	*	*	F	T
84620	*	*	F	T
86481	*	*	F	T
86482	*	*	F	T
87950	*	*	F	T
87951	*	*	F	T
89814	*	*	F	T
89815	*	*	F	T
91353	*	*	F	T
91354	*	*	F	T
107376	*	*	F	T
107377	*	*	F	T
126239	*	*	F	T
126240	*	*	F	T
130270	*	*	F	T
130271	*	*	F	T
131445	*	*	F	T
131446	*	*	F	T
132772	*	*	F	T
132773	*	*	F	T

All 3 conditions live in wasmparser::parser::Parser::parse_reader — 3 br_if