Skip to content

Commit

Permalink
TestRIG: don't fuzz the A extension
Browse files Browse the repository at this point in the history
This will result in near instant divergences until
CTSRD-CHERI/qemu#208 is merged.
  • Loading branch information
arichardson committed Jul 26, 2023
1 parent 1ebf226 commit 5829447
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion pycheribuild/projects/testrig.py
Original file line number Diff line number Diff line change
Expand Up @@ -251,7 +251,8 @@ class _TestRigQEMURV64Base:
dependencies = (*RunTestRIGBase.dependencies, "sail-cheri-riscv", "qemu")
# NB: can't use GC here since that implicitly enables ihpm in QCVengine and QEMU does not support mcountinhibit
# util we have updated to b1675eeb3e6e38b042a23a9647559c9c548c733d.
verification_archstring = "rv64imafdc_s_xcheri_zicsr_zifencei"
# TODO: enable A again once https://github.com/CTSRD-CHERI/qemu/pull/208 is merged.
verification_archstring = "rv64imfdc_s_xcheri_zicsr_zifencei"

def get_reference_implementation_command(self, port: int) -> "list[str]":
assert isinstance(self, RunTestRIGBase)
Expand Down

0 comments on commit 5829447

Please sign in to comment.