From d66a613074f609962cc56506fd0ccfdd5c6bcdeb Mon Sep 17 00:00:00 2001 From: Huda-10xe Date: Mon, 28 Oct 2024 00:32:07 -0700 Subject: [PATCH] Renaming VM Coverage --- config/rv32gc/coverage.svh | 3 ++- config/rv64gc/coverage.svh | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 3a04643ad..415722efc 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -13,4 +13,5 @@ `include "RV32Zca_coverage.svh" `include "RV32Zcb_coverage.svh" `include "RV32ZcbM_coverage.svh" -`include "RV32ZcbZbb_coverage.svh" \ No newline at end of file +`include "RV32ZcbZbb_coverage.svh" +`include "VM_coverage.svh" \ No newline at end of file diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 5b11b5a22..ed337a4ac 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -9,7 +9,7 @@ `include "RV64M_coverage.svh" `include "RV64F_coverage.svh" `include "RV64Zfh_coverage.svh" -`include "RV64VM_coverage.svh" +`include "VM_coverage.svh" `include "RV64VM_PMP_coverage.svh" `include "RV64CBO_VM_coverage.svh" `include "RV64CBO_PMP_coverage.svh"