]> git.nickg.me.uk Git - nvc.git/commit
FSM state coverage. (#771)
authorBlebowski <34539154+Blebowski@users.noreply.github.com>
Sun, 22 Oct 2023 10:46:54 +0000 (12:46 +0200)
committerGitHub <noreply@github.com>
Sun, 22 Oct 2023 10:46:54 +0000 (11:46 +0100)
commitf837cf9638ec42ab092ad98c1a320d71ec4c15d7
tree045e91993b1617ece020fe59103f0af2f126e07d
parent0056781a780e27860485e5fd04e290ba0335f56b
FSM state coverage. (#771)
36 files changed:
nvc.1
src/common.c
src/common.h
src/jit/jit-exits.c
src/jit/jit-exits.h
src/jit/jit-irgen.c
src/jit/jit-priv.h
src/lower.c
src/nvc.c
src/rt/cover.c
src/rt/cover.h
src/vcode.c
src/vcode.h
test/regress/cover10.sh [changed mode: 0644->0755]
test/regress/cover12.sh [changed mode: 0644->0755]
test/regress/cover18.sh [new file with mode: 0755]
test/regress/cover18.vhd [new file with mode: 0644]
test/regress/cover19.sh [new file with mode: 0755]
test/regress/cover19.vhd [new file with mode: 0644]
test/regress/cover5.sh [changed mode: 0644->0755]
test/regress/cover6.sh [changed mode: 0644->0755]
test/regress/cover9.sh [changed mode: 0644->0755]
test/regress/data/cover18_ef.txt [new file with mode: 0644]
test/regress/data/cover19_spec.txt [new file with mode: 0644]
test/regress/gold/cover10.txt
test/regress/gold/cover12.txt
test/regress/gold/cover13.txt
test/regress/gold/cover14.txt
test/regress/gold/cover15.txt
test/regress/gold/cover16.txt
test/regress/gold/cover18.txt [new file with mode: 0644]
test/regress/gold/cover19.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