From 13520b64143f2f8787ae6a14185ffb170c03549d Mon Sep 17 00:00:00 2001 From: Mysterio-Abdullah Date: Thu, 17 Oct 2024 15:31:09 -0700 Subject: [PATCH] Enabling RV64ZcbZb.a --- 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 46f9c4f26..5b11b5a22 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -18,4 +18,5 @@ `include "RV64Zca_coverage.svh" `include "RV64Zcb_coverage.svh" `include "RV64ZcbM_coverage.svh" -`include "RV64ZcbZbb_coverage.svh" \ No newline at end of file +`include "RV64ZcbZbb_coverage.svh" +`include "RV64ZcbZba_coverage.svh" \ No newline at end of file