rv32mi_sc_tests = \
csr \
+ dirty \
illegal \
ma_fetch \
ma_addr \
+ mcsr \
scall \
sbreak \
- timer \
+ shamt \
+ wfi \
rv32mi_mc_tests = \
ipi \
rv32mi_p_tests = $(addprefix rv32mi-p-, $(rv32mi_sc_tests))
-rv32mi_pm_tests = $(addprefix rv32mi-pm-, $(rv32mi_mc_tests))
+
+spike32_tests += $(rv32mi_p_tests)