Make WFI test more strict

[riscv-tests.git] / isa / rv32si / Makefrag

diff --git a/isa/rv32si/Makefrag b/isa/rv32si/Makefrag
index e03819f9f964e963c7b0a67eb10cd7c07564d1b7..dea3ecf4b28347a521c985b92a7854033a47a958 100644 (file)
--- a/isa/rv32si/Makefrag
+++ b/isa/rv32si/Makefrag
@@ -4,12 +4,10 @@
 
 rv32si_sc_tests = \
        csr \
-       shamt \
        ma_fetch \
-       illegal \
        scall \
        sbreak \
-       ma_addr \
-       timer \
 
 rv32si_p_tests = $(addprefix rv32si-p-, $(rv32si_sc_tests))
+
+spike32_tests += $(rv32si_p_tests)