]> git.nickg.me.uk Git - nvc.git/commit
Option not to report covered, uncovered or excluded tags. (#598)
authorBlebowski <34539154+Blebowski@users.noreply.github.com>
Sun, 22 Jan 2023 11:01:40 +0000 (12:01 +0100)
committerGitHub <noreply@github.com>
Sun, 22 Jan 2023 11:01:40 +0000 (11:01 +0000)
commit99b73091294afa11c9493e75222c7403a99dfbfa
treebc9a77fd0930260491f311315f0a7f54d137ca16
parentba5d680909f978bc964416c9bb964a8c24d96e88
Option not to report covered, uncovered or excluded tags. (#598)
13 files changed:
nvc.1
src/nvc.c
src/rt/cover.c
src/rt/cover.h
src/rt/model.c
test/regress/cover10.sh [new file with mode: 0644]
test/regress/cover10.vhd [new file with mode: 0644]
test/regress/data/cover10_ef1.txt [new file with mode: 0644]
test/regress/gold/cover10.txt [new file with mode: 0644]
test/regress/gold/cover5.txt
test/regress/gold/cover6.txt
test/regress/gold/cover9.txt
test/regress/testlist.txt