]> git.nickg.me.uk Git - nvc.git/commit
Store coverage scopes directly in database
authorNick Gasson <nick@nickg.me.uk>
Sat, 1 Jul 2023 08:36:55 +0000 (09:36 +0100)
committerNick Gasson <nick@nickg.me.uk>
Sat, 1 Jul 2023 21:47:31 +0000 (22:47 +0100)
commit1ad3f895f838d9175bb69e188a972be03877bac9
tree3155c488695c2c45001ddd5f4292bbd6022d57a4
parent3f9a411fb87329eb6c5db537286a0e2008827ad9
Store coverage scopes directly in database
src/option.c
src/option.h
src/rt/cover.c
src/rt/cover.h
test/questa.sh