Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Internal coverage: cover inline/static

Browse Source
This commit is contained in:
Wilson Snyder 2021-03-07 15:12:25 -05:00
parent 4592724c1f
commit c61d3ee557
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
nodist/code_coverage
View File

@ -38,9 +38,17 @@ def test():
ci_fold_start("configure") ci_fold_start("configure")
print("Stage 1: configure (coverage on)") print("Stage 1: configure (coverage on)")
run("autoconf") run("autoconf")
# Exceptions can pollute the branch coverage data cxx_flags = (
run("./configure --enable-longtests CXX='g++ --coverage -fno-exceptions -DVL_GCOV'" "--coverage"
) # Otherwise inline may not show as uncovered
+ " -fkeep-inline-functions"
# Otherwise static may not show as uncovered
+ " -fkeep-static-functions"
# Exceptions can pollute the branch coverage data
+ " -fno-exceptions"
# Define-out some impossible stuff
+ " -DVL_GCOV")
run("./configure --enable-longtests CXX='g++ " + cxx_flags + "'")
ci_fold_end() ci_fold_end()
if Args.stage_enabled[2]: if Args.stage_enabled[2]:
@ -125,8 +133,8 @@ def test():
# Must run in root directory to find all files # Must run in root directory to find all files
os.makedirs(cc_dir, exist_ok=True) os.makedirs(cc_dir, exist_ok=True)
run(RealPath + "/fastcov.py -b -c src/obj_dbg -X --lcov" + run(RealPath + "/fastcov.py -b -c src/obj_dbg -X --lcov" +
" --exclude /usr --exclude test_regress" + " -o " + cc_dir + # " --exclude /usr --exclude test_regress" + " -o " + cc_dir +
"/app_total.info") " -o " + cc_dir + "/app_total.info")
ci_fold_end() ci_fold_end()
if Args.stage_enabled[6]: if Args.stage_enabled[6]: