Decision #386 — `library/core/src/fmt/mod.rs:2132`

Status: unreached

Truth table

row	c0 br 2677	c1 br 2679	c2 br 2680	outcome

Independent-effect pairs

c0 (branch 2677): DEAD view gap →
scry_provenance::take_u32 · br_if
inlined: lib.rs:187
c1 (branch 2679): DEAD view gap →
scry_provenance::take_u32 · br_if
inlined: lib.rs:191
c2 (branch 2680): DEAD view gap →
scry_provenance::take_u32 · br_if
inlined: lib.rs:191

← back to scry-mcdc