diff --git a/pipelined/testbench/tests.vh b/pipelined/testbench/tests.vh index 514f9e35b..87ef92148 100644 --- a/pipelined/testbench/tests.vh +++ b/pipelined/testbench/tests.vh @@ -1551,6 +1551,7 @@ string wally32i[] = '{ `WALLYTEST, "rv32i_m/privilege/WALLY-MMU-SV32", "4080", "rv32i_m/privilege/WALLY-PMP", "4080", + "rv32i_m/privilege/WALLY-PMA", "4080", "rv32i_m/privilege/WALLY-CSR-permission-s-01", "5080", "rv32i_m/privilege/WALLY-CSR-permission-u-01", "5080", "rv32i_m/privilege/WALLY-minfo-01", "4080",