From df5a9318829999c06c02464fe7acfe5dc569d27c Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Fri, 18 Apr 2025 19:41:00 -0700 Subject: [PATCH 1/2] Build cvw-arch-verif by default --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d50c761b8..00c989716 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ SIM = ${WALLY}/sim .PHONY: all riscof testfloat combined_IF_vectors zsbl coverage cvw-arch-verif sim_bp clean -all: riscof testfloat combined_IF_vectors zsbl coverage sim_bp # cvw-arch-verif +all: riscof testfloat combined_IF_vectors zsbl coverage sim_bp cvw-arch-verif # riscof builds the riscv-arch-test and wally-riscv-arch-test suites riscof: From 2d2781f8e3bfc5c0b8e156a80d02237e66691e8a Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Fri, 18 Apr 2025 21:59:04 -0700 Subject: [PATCH 2/2] Enable functional coverage tests in nightly regression --- bin/regression-wally | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/regression-wally b/bin/regression-wally index be2e77480..88b88a000 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -455,7 +455,7 @@ def selectTests(args, sims, coverStr): addTestsByDir(f"{WALLY}/tests/riscof/work/wally-riscv-arch-test/rv64i_m/privilege", "rv64gc", coveragesim, coverStr, configs) # addTestsByDir(f"{WALLY}/tests/riscof/work/riscv-arch-test/rv64i_m/F", "rv64gc", coveragesim, coverStr, configs) # doesn't help fdivsqrt coverage 4/3/2025 # run tests in lockstep in functional coverage mode - if args.fcov: + if args.fcov or args.nightly: addTestsByDir(f"{archVerifDir}/tests/rv32/", "rv32gc", coveragesim, coverStr, configs, lockstepMode=1) addTestsByDir(f"{archVerifDir}/tests/rv64/", "rv64gc", coveragesim, coverStr, configs, lockstepMode=1) addTestsByDir(f"{archVerifDir}/tests/priv/rv32/", "rv32gc", coveragesim, coverStr, configs, lockstepMode=1)