Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-02 17:55:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Simplified per-config coverage statements

Browse Source
This commit is contained in:
David Harris 2024-09-14 19:33:29 -07:00
parent dc616680ba
commit 42400db9e2
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
config/rv32gc/coverage.svh
View File

@ -5,9 +5,7 @@
// This file is needed in the config subdirectory for each config supporting coverage. // This file is needed in the config subdirectory for each config supporting coverage.
// It defines which extensions are enabled for that config. // It defines which extensions are enabled for that config.
`define COVER_RV32I `include "RV32I_coverage.svh"
`define COVER_RV32M `include "RV32M_coverage.svh"
`define COVER_RV32F `include "RV32F_coverage.svh"
`include "coverage/RV32I_coverage.svh" `include "RV32Zicond_coverage.svh"
`include "coverage/RV32M_coverage.svh"
`include "coverage/RV32F_coverage.svh"