Merge pull request #1360 from Zain2050/main
Some checks are pending
Lint / Lint (Python 312) (push) Waiting to run
Lint / Lint (Python 39) (push) Waiting to run

Enabled Coverage of PMP32
This commit is contained in:
David Harris 2025-04-18 15:17:53 -07:00 committed by GitHub
commit 740c537cbc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -45,6 +45,7 @@
// Privileged extensions
`define RV32VM_COVERAGE
`define RV32VM_PMP_COVERAGE
`define RV32PMP_COVERAGE
`define ZICSRM_COVERAGE
`define ZICSRS_COVERAGE
`define ZICSRU_COVERAGE