diff options
Diffstat (limited to 'debug/testlib.py')
| -rw-r--r-- | debug/testlib.py | 4 |
1 files changed, 3 insertions, 1 deletions
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 |