rv32si_sc_tests = \
csr \
- shamt \
-
-rv32si_mc_tests = \
- ipi \
+ dirty \
+ ma_fetch \
+ scall \
+ sbreak \
+ wfi \
rv32si_p_tests = $(addprefix rv32si-p-, $(rv32si_sc_tests))
-rv32si_pm_tests = $(addprefix rv32si-pm-, $(rv32si_mc_tests))
-spike_tests += $(rv32si_p_tests) $(rv32si_pm_tests)
+spike32_tests += $(rv32si_p_tests)