From ff611016c73e82ef24b82e2854d9cc4ecce18328 Mon Sep 17 00:00:00 2001
From: Rose Thompson <ross1728@gmail.com>
Date: Mon, 27 May 2024 14:11:02 -0500
Subject: [PATCH] Closer?

---
 sim/questa/wally.do | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sim/questa/wally.do b/sim/questa/wally.do
index ba1000754..e72a5022a 100644
--- a/sim/questa/wally.do
+++ b/sim/questa/wally.do
@@ -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