diff --git a/testbench/tests.vh b/testbench/tests.vh index a91aeda15..bef41ef22 100644 --- a/testbench/tests.vh +++ b/testbench/tests.vh @@ -60,6 +60,7 @@ string coverage64gc[] = '{ "tlbTP", "tlbMisaligned", "hptwAccessFault", + "nonleafpbmtfault", "amoAccessFault", "floatmisc", "ifuCamlineWrite", diff --git a/tests/coverage/nonleafpmbtfault.S b/tests/coverage/nonleafpbmtfault.S similarity index 100% rename from tests/coverage/nonleafpmbtfault.S rename to tests/coverage/nonleafpbmtfault.S