From 1675e4cb7d10827515ffb42c772f216ca5c8a067 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Sat, 16 Nov 2024 11:53:05 -0800 Subject: [PATCH] Add rv32 wally-riscv-arch-test lockstep to nightly --- bin/regression-wally | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/regression-wally b/bin/regression-wally index f4c3cc023..2a2466dfa 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -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.