From 3ba92950600457fc8d66d7a421e28725156eb57b Mon Sep 17 00:00:00 2001 From: Zain2050 Date: Sat, 26 Oct 2024 09:06:01 -0700 Subject: [PATCH] enabled Zcf in rv32gc --- config/rv32gc/coverage.svh | 1 + 1 file changed, 1 insertion(+) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 2d1730a94..80ab73f7b 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -17,6 +17,7 @@ `include "RV32Zcb_coverage.svh" `include "RV32ZcbM_coverage.svh" `include "RV32ZcbZbb_coverage.svh" +`include "RV32Zcf_coverage.svh" // Privileged extensions `include "ZicsrM_coverage.svh"