github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-06-27 17:01:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #1375 from jordancarlin/regression
Some checks failed
Lint / Lint (Python 312) (push) Has been cancelled
Details
Lint / Lint (Python 39) (push) Has been cancelled
Details

Browse source 
Enable functional coverage tests in nightly regression
This commit is contained in:
David Harris 2025-04-23 05:51:15 -07:00 • committed by GitHub
commit acaeec0467
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -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:

2
bin/regression-wally
View file

@ -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)