diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-05-15 15:36:55 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-05-15 16:33:39 -0700 |
| commit | d60088a014c2da5253e88144b2574ec4b87fd0dc (patch) | |
| tree | 6db978d0bb6b5b57def4a9c24edc90811930cd13 | |
| parent | bf6049ed15c8a96472ad33dc9a1ad666ed2cba68 (diff) | |
| download | riscv-tests-d60088a014c2da5253e88144b2574ec4b87fd0dc.zip riscv-tests-d60088a014c2da5253e88144b2574ec4b87fd0dc.tar.gz riscv-tests-d60088a014c2da5253e88144b2574ec4b87fd0dc.tar.bz2 | |
Don't rely on Spike's default ISA
| -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 |