projects / riscv-tests.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Don't rely on Spike's default ISA
[riscv-tests.git] / debug / testlib.py
diff --git a/debug/testlib.py b/debug/testlib.py
index d3a75f67252976fb0c9e73cde5a73ee977781a77..c39ed517a879576286dc758c153f9a97829b6f1f 100644 (file)
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -67,7 +67,9 @@ class Spike(object):
             spike = os.path.expandvars("$RISCV/bin/spike")
             cmd = [spike]
         if xlen == 32:
-            cmd += ["--isa", "RV32"]
+            cmd += ["--isa", "RV32G"]
+        else:
+            cmd += ["--isa", "RV64G"]
 
         if timeout:
             cmd = ["timeout", str(timeout)] + cmd