Revert "Add ExceptionM to fcov"

This commit is contained in:
David Harris 2024-11-21 07:01:31 -08:00 committed by GitHub
parent 3198f27c44
commit 34063f9fb6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 0 additions and 10 deletions

View File

@ -8,10 +8,6 @@
// Define XLEN, used in covergroups
`define XLEN32 1
// Define relevant addresses
`define CLINT_BASE 64'h02000000
`define ACCESS_FAULT_ADDRESS 32'h0000
// Unprivileged extensions
`include "RV32I_coverage.svh"
`include "RV32M_coverage.svh"
@ -41,4 +37,3 @@
`include "ZicsrU_coverage.svh"
`include "RV32VM_coverage.svh"
`include "RV32VM_PMP_coverage.svh"
`include "ExceptionM_coverage.svh"

View File

@ -8,10 +8,6 @@
// Define XLEN, used in covergroups
`define XLEN64 1
// Define relevant addresses
`define CLINT_BASE 64'h02000000
`define ACCESS_FAULT_ADDRESS 64'h00000000
// Unprivileged extensions
`include "RV64I_coverage.svh"
`include "RV64M_coverage.svh"
@ -40,7 +36,6 @@
`include "ZicsrM_coverage.svh"
`include "ZicsrF_coverage.svh"
`include "ZicsrU_coverage.svh"
`include "ExceptionM_coverage.svh"
// `include "RV64VM_PMP_coverage.svh"
// `include "RV64CBO_VM_coverage.svh"
// `include "RV64CBO_PMP_coverage.svh"