From 13520b64143f2f8787ae6a14185ffb170c03549d Mon Sep 17 00:00:00 2001
From: Mysterio-Abdullah <mrabdullahmib381@gmail.com>
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