From a88d5f403b5c0dca34fc5408191ee5a32c3c2ba9 Mon Sep 17 00:00:00 2001
From: Rose Thompson <ross1728@gmail.com>
Date: Tue, 28 May 2024 14:02:54 -0500
Subject: [PATCH] Functional coverage works with wally.do

---
 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 b69f45267..a0e6fdbb6 100644
--- a/sim/questa/wally.do
+++ b/sim/questa/wally.do
@@ -219,7 +219,7 @@ run -all
 # power off -r /dut/core/*
 
 if {$coverage || $FunctCoverage} {
-    set UCDB cov/${CFG}_${TESTSUITE}.ucdb
+    set UCDB ${WALLY}/sim/questa/cov/${CFG}_${TESTSUITE}.ucdb
     echo "Saving coverage to ${UCDB}"
     do coverage-exclusions-rv64gc.do  # beware: this assumes testing the rv64gc configuration
     coverage save -instance /testbench/dut/core ${UCDB}