This commit is contained in:
Rose Thompson 2024-05-27 14:11:02 -05:00
parent 26c6eec832
commit ff611016c7

View File

@ -197,7 +197,7 @@ if { ${GUI} } {
run -all
# power off -r /dut/core/*
if {$coverage} {
if {$coverage || $FunctCoverage} {
set UCDB cov/${CFG}_${TESTSUITE}.ucdb
echo "Saving coverage to ${UCDB}"
do coverage-exclusions-rv64gc.do # beware: this assumes testing the rv64gc configuration