Updated rv64gc coverage file to new path

This commit is contained in:
David Harris 2024-09-18 03:55:36 -07:00
parent 9312cfb507
commit 0613912d8e

View file

@ -5,9 +5,7 @@
// This file is needed in the config subdirectory for each config supporting coverage.
// It defines which extensions are enabled for that config.
`define COVER_RV64I
`define COVER_RV64M
`define COVER_RV64F
`include "coverage/RV64I_coverage.svh"
`include "coverage/RV64M_coverage.svh"
`include "coverage/RV64F_coverage.svh"
`include "RV64I_coverage.svh"
`include "RV64M_coverage.svh"
`include "RV64F_coverage.svh"
`include "RV64Zicond_coverage.svh"