Decision #745 — imports.rs:108

Status: no_witness

Truth table

rowc0 br 5359c1 br 5360c2 br 5362outcome
1893T*FF
1894T*FF
4930T*FF
4931T*FF
7933T*FF
7934T*FF
10098T*FF
11243T*FF
12337T*FF
18653T*FF
26368T*FF
32233T*FF
38171T*FF
41750T*FF
41751T*FF
44799T*FF
44800T*FF
48241T*FF
48242T*FF
51290T*FF
51291T*FF
60130T*FF
69902T*FF
74387T*FF
77862T*FF
79996T*FF
81321T*FF
82505T*FF
83570T*FF
84823T*FF
86803T*FF
88151T*FF
90084T*FF
91579T*FF
107944T*FF
126807T*FF
130485T*FF
131672T*FF
132996T*FF

Independent-effect pairs

All 3 conditions live in <wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader — 3 br_if