From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 15 May 2017 22:36:55 +0000 (-0700)
Subject: Don't rely on Spike's default ISA
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d60088a014c2da5253e88144b2574ec4b87fd0dc;p=riscv-tests.git

Don't rely on Spike's default ISA
---

diff --git a/debug/testlib.py b/debug/testlib.py
index d3a75f6..c39ed51 100644
--- 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