Decision #1235 — `mod.rs:236`

Status: unreached

Truth table

row	c0 br 8414	c1 br 8415	outcome

Independent-effect pairs

c0 (branch 8414): DEAD view gap →
posix_memalign · br_if
inlined: mod.rs:241
c1 (branch 8415): DEAD view gap →
posix_memalign · br_if
inlined: mod.rs:241

← back to scry-mcdc