From a61ad1c6494012f159d6e07b2c89af7b2c0bbf9f Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Sun, 9 Feb 2025 13:46:32 -0800 Subject: [PATCH] Fix rv32 coverage file --- config/rv32gc/coverage.svh | 1 - 1 file changed, 1 deletion(-) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 365b60e49..5e6ba871f 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -37,7 +37,6 @@ `define ZCB_COVERAGE `define ZCB_M_COVERAGE `define ZCB_ZBB_COVERAGE -`define ZCB_ZBA_COVERAGE `define ZCF_COVERAGE `define ZCD_COVERAGE `define ZICSR_COVERAGE