From cc2a41045f2c60df90c46650dd5f4a46f19cabb9 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Sun, 22 Sep 2024 22:00:27 -0700
Subject: [PATCH] RV64 coverage configuration

---
 config/rv64gc/coverage.svh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 855c1f6a9..c89b116c9 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -7,5 +7,6 @@
 
 `include "RV64I_coverage.svh"
 `include "RV64M_coverage.svh"
-//`include "RV64F_coverage.svh"
+`include "RV64F_coverage.svh"
 `include "RV64Zicond_coverage.svh"
+`include "RV64Zca_coverage.svh"