Elektrine lite

← Feed

@horenmar@mastodon.social

Post #1248480

2026-03-18 11:46 UTC

@lefticus Two quick notes: 1) Path coverage can also be gambled. Arguably you do it every day, e.g. by using lookup tables instead of switches. This is source of many infinite arguments about mandatory MCDC coverage levels. 2) Clang/GCC & their attendant tooling don't actually do branch coverage, they do condition coverage. For atomic conditions like in the video there is no difference, but in compound conditions you can see the difference.

Replies (0)

No replies.