diff --git a/pipelined/testbench/tests.vh b/pipelined/testbench/tests.vh
index 8ba3ed2fe..bb505c757 100644
--- a/pipelined/testbench/tests.vh
+++ b/pipelined/testbench/tests.vh
@@ -1820,7 +1820,8 @@ string imperas32f[] = '{
     "rv64i_m/privilege/src/WALLY-trap-u-01.S",
     "rv64i_m/privilege/src/WALLY-wfi-01.S",
     "rv64i_m/privilege/src/WALLY-endianness-01.S",
-    "rv64i_m/privilege/src/WALLY-status-xlen-01.S"
+    "rv64i_m/privilege/src/WALLY-status-xlen-01.S",
+    "rv64i_m/privilege/src/WALLY-satp-invalid-01.S"
  };
 
  string wally64periph[] = '{