Merge pull request #1106 from jordancarlin/rv32lockstep

Add rv32 wally-riscv-arch-test lockstep to nightly
This commit is contained in:
David Harris 2024-11-16 16:31:04 -08:00 committed by GitHub
commit 38bf0711dc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -439,6 +439,7 @@ else:
if (args.nightly):
addLockstepTestsByDir(WALLY+"/tests/coverage", "rv64gc", lockstepsim, 0)
addLockstepTestsByDir(WALLY+"/tests/riscof/work/wally-riscv-arch-test/rv64i_m", "rv64gc", lockstepsim, 0)
addLockstepTestsByDir(WALLY+"/tests/riscof/work/wally-riscv-arch-test/rv32i_m", "rv32gc", lockstepsim, 0)
addTests(derivconfigtests, defaultsim)
# addTests(bpredtests, defaultsim) # This is currently broken in regression due to something related to the new wsim script.