Test FPRs that aren't XLEN in size.

[riscv-tests.git] / debug / targets / RISC-V / spike64-2.py

diff --git a/debug/targets/RISC-V/spike64-2.py b/debug/targets/RISC-V/spike64-2.py
index c6321dcebb2e4e5be1baa9dcffd92d21f09d74ac..a2082b41b7d9e68174267d6b3be79add87f9f1e6 100644 (file)
--- a/debug/targets/RISC-V/spike64-2.py
+++ b/debug/targets/RISC-V/spike64-2.py
@@ -5,8 +5,8 @@ import spike64  # pylint: disable=import-error
 
 class spike64_2(targets.Target):
     harts = [spike64.spike64_hart(), spike64.spike64_hart()]
-    openocd_config_path = "spike.cfg"
-    timeout_sec = 30
+    openocd_config_path = "spike-2.cfg"
+    timeout_sec = 60
 
     def create(self):
-        return testlib.Spike(self)
+        return testlib.Spike(self, isa="RV64IMAFD")