Decision #1431 — `library/core/src/fmt/mod.rs:3123`

Status: partial

Truth table

row	c0 br 7105	c1 br 7106	c2 br 7107	c3 br 7108	c4 br 7109	c5 br 7110	c6 br 7111	c7 br 7112	c8 br 7113	c9 br 7114	c10 br 7115	c11 br 7116	c12 br 7117	c13 br 7118	c14 br 7119	outcome

Independent-effect pairs

All 15 conditions live in <wasmparser::parser::Parser>::parse_reader — 1 br_table_default + 14 br_table_target

c0 (branch 7105): PROVED
c1 (branch 7106): PROVED
c2 (branch 7107): DEAD view gap →
c3 (branch 7108): PROVED
c4 (branch 7109): PROVED
c5 (branch 7110): PROVED
c6 (branch 7111): PROVED
c7 (branch 7112): PROVED
c8 (branch 7113): DEAD view gap →
c9 (branch 7114): PROVED
c10 (branch 7115): PROVED
c11 (branch 7116): DEAD view gap →
c12 (branch 7117): DEAD view gap →
c13 (branch 7118): DEAD view gap →
c14 (branch 7119): DEAD view gap →

← back to scry-mcdc