Decision #839 — `binary_reader.rs:1175`

Status: no_witness

Truth table

row	c0 br 5842	c1 br 5843	c2 br 5844	c3 br 5845	c4 br 5846	c5 br 5847	c6 br 5848	outcome
1868	*	*	*	*	*	*	F	T
5659	*	*	*	*	*	*	F	T
9440	*	*	*	*	*	*	F	T
22425	*	*	*	*	*	*	F	T
22426	*	*	*	*	*	*	F	T
22427	*	*	*	*	*	*	F	T
31903	*	*	*	*	*	*	F	T
31904	*	*	*	*	*	*	F	T
31905	*	*	*	*	*	*	F	T
38224	*	*	*	*	*	*	F	T
38225	*	*	*	*	*	*	F	T
38226	*	*	*	*	*	*	F	T
44437	*	*	*	*	*	*	F	T
44438	*	*	*	*	*	*	F	T
44439	*	*	*	*	*	*	F	T
49053	*	*	*	*	*	*	F	T
49054	*	*	*	*	*	*	F	T
49055	*	*	*	*	*	*	F	T
53254	*	*	*	*	*	*	F	T
53255	*	*	*	*	*	*	F	T
53256	*	*	*	*	*	*	F	T
57784	*	*	*	*	*	*	F	T
57785	*	*	*	*	*	*	F	T
57786	*	*	*	*	*	*	F	T
61977	*	*	*	*	*	*	F	T
61978	*	*	*	*	*	*	F	T
61979	*	*	*	*	*	*	F	T
72545	*	*	*	*	*	*	F	T
72546	*	*	*	*	*	*	F	T
72547	*	*	*	*	*	*	F	T
84058	*	*	*	*	*	*	F	T
84059	*	*	*	*	*	*	F	T
84060	*	*	*	*	*	*	F	T
103349	*	*	*	*	*	*	F	T
109530	*	*	*	*	*	*	F	T
115404	*	*	*	*	*	*	F	T
115405	*	*	*	*	*	*	F	T
135257	*	*	*	*	*	*	F	T
135258	*	*	*	*	*	*	F	T
135259	*	*	*	*	*	*	F	T
135260	*	*	*	*	*	*	F	T
158193	*	*	*	*	*	*	F	T
158194	*	*	*	*	*	*	F	T
158195	*	*	*	*	*	*	F	T
158196	*	*	*	*	*	*	F	T
163650	*	*	*	*	*	*	F	T
165231	*	*	*	*	*	*	F	T
166951	*	*	*	*	*	*	F	T

Independent-effect pairs

All 7 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 7 br_if

c0 (branch 5842): DEAD view gap →
c1 (branch 5843): DEAD view gap →
c2 (branch 5844): DEAD view gap →
c3 (branch 5845): DEAD view gap →
c4 (branch 5846): DEAD view gap →
c5 (branch 5847): DEAD view gap →
c6 (branch 5848): GAP view gap →

← back to scry-mcdc

Decision #839 — binary_reader.rs:1175

Truth table

Independent-effect pairs

Decision #839 — `binary_reader.rs:1175`