]> Nick Gasson's Git Repositories - nvc.git/commit
Coverage minor fixes (#1158)
authorOndrej Ille <34539154+Blebowski@users.noreply.github.com>
Sun, 9 Feb 2025 09:41:19 +0000 (10:41 +0100)
committerGitHub <noreply@github.com>
Sun, 9 Feb 2025 09:41:19 +0000 (09:41 +0000)
commitf7b4db6bf07af8e399e2b2e304193239e636f71f
tree73ca3449ac9d6d597622b404b5786253f61f5379
parent36f2cd9cd00d7f8f79c35e7eed0544459a711785
Coverage minor fixes (#1158)

* mask out highest bit when reporting bins -> Holds unreachability of toggle coverage.

* clarify unreachability on expressions in manual.

* allow X or U with "count-from-undefined".
NEWS.md
nvc.1
src/cov/cov-report.c
src/rt/cover.c