diff --git a/testbench/tests.vh b/testbench/tests.vh
index 2ec4e43f..b0798483 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -1758,15 +1758,15 @@ string imperas32f[] = '{
     "rv64i_m/privilege/src/WALLY-mtvec-01.S",
     "rv64i_m/privilege/src/WALLY-pma-01.S",
     "rv64i_m/privilege/src/WALLY-pmp-01.S",
-    "rv64i_m/privilege/src/WALLY-sie-01.S",
+//    "rv64i_m/privilege/src/WALLY-sie-01.S",
     "rv64i_m/privilege/src/WALLY-status-mie-01.S",
-    "rv64i_m/privilege/src/WALLY-status-sie-01.S",
+//    "rv64i_m/privilege/src/WALLY-status-sie-01.S",
     "rv64i_m/privilege/src/WALLY-status-tw-01.S",
     "rv64i_m/privilege/src/WALLY-status-tvm-01.S",
     "rv64i_m/privilege/src/WALLY-status-fp-enabled-01.S",
-    "rv64i_m/privilege/src/WALLY-stvec-01.S",
-    "rv64i_m/privilege/src/WALLY-trap-01.S",
-    "rv64i_m/privilege/src/WALLY-trap-s-01.S",
+//    "rv64i_m/privilege/src/WALLY-stvec-01.S",
+//    "rv64i_m/privilege/src/WALLY-trap-01.S",
+//    "rv64i_m/privilege/src/WALLY-trap-s-01.S",
     "rv64i_m/privilege/src/WALLY-trap-sret-01.S",
     "rv64i_m/privilege/src/WALLY-trap-u-01.S",
     "rv64i_m/privilege/src/WALLY-wfi-01.S",
@@ -1846,15 +1846,15 @@ string imperas32f[] = '{
     "rv32i_m/privilege/src/WALLY-mtvec-01.S",
     "rv32i_m/privilege/src/WALLY-pma-01.S",
     "rv32i_m/privilege/src/WALLY-pmp-01.S",
-    "rv32i_m/privilege/src/WALLY-sie-01.S",
+//    "rv32i_m/privilege/src/WALLY-sie-01.S",
     "rv32i_m/privilege/src/WALLY-status-mie-01.S",
-    "rv32i_m/privilege/src/WALLY-status-sie-01.S",
+//    "rv32i_m/privilege/src/WALLY-status-sie-01.S",
     "rv32i_m/privilege/src/WALLY-status-tw-01.S",
     "rv32i_m/privilege/src/WALLY-status-tvm-01.S",
     "rv32i_m/privilege/src/WALLY-status-fp-enabled-01.S",
-    "rv32i_m/privilege/src/WALLY-stvec-01.S",
-    "rv32i_m/privilege/src/WALLY-trap-01.S",
-    "rv32i_m/privilege/src/WALLY-trap-s-01.S",
+//    "rv32i_m/privilege/src/WALLY-stvec-01.S",
+//    "rv32i_m/privilege/src/WALLY-trap-01.S",
+//    "rv32i_m/privilege/src/WALLY-trap-s-01.S",
     "rv32i_m/privilege/src/WALLY-trap-sret-01.S",
     "rv32i_m/privilege/src/WALLY-trap-u-01.S",
     "rv32i_m/privilege/src/WALLY-wfi-01.S",