diff options
Diffstat (limited to 'isa/rv32mi/Makefrag')
| -rw-r--r-- | isa/rv32mi/Makefrag | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag index d871990..f4b8364 100644 --- a/isa/rv32mi/Makefrag +++ b/isa/rv32mi/Makefrag @@ -17,5 +17,7 @@ rv32mi_sc_tests = \ sh-misaligned \ sw-misaligned \ zicntr \ + instret_overflow \ + pmpaddr \ rv32mi_p_tests = $(addprefix rv32mi-p-, $(rv32mi_sc_tests)) |