From a738fd59176307ed708b6cd36dfe4c438fd02264 Mon Sep 17 00:00:00 2001 From: David Harris Date: Thu, 3 Apr 2025 08:05:54 -0700 Subject: [PATCH] Added wally-riscv-arch-test tests to improve coverage --- bin/regression-wally | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/bin/regression-wally b/bin/regression-wally index f84e204d3..eec6a3676 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -440,9 +440,11 @@ def selectTests(args, sims, coverStr): addTestsByDir(f"{archVerifDir}/tests/lockstep/priv/rv64/", "rv64gc", coveragesim, coverStr, configs) addTestsByDir(WALLY+"/tests/coverage/", "rv64gc", coveragesim, coverStr, configs) # Extra tests from riscv-arch-test that should be run as part of the functional coverage suite - addTestsByDir(f"{WALLY}/tests/riscof/work/riscv-arch-test/rv32i_m/vm_sv32", "rv32gc", coveragesim, coverStr, configs) - addTestsByDir(f"{WALLY}/tests/riscof/work/riscv-arch-test/rv32i_m/pmp32", "rv32gc", coveragesim, coverStr, configs) + #addTestsByDir(f"{WALLY}/tests/riscof/work/riscv-arch-test/rv32i_m/vm_sv32", "rv32gc", coveragesim, coverStr, configs) + #addTestsByDir(f"{WALLY}/tests/riscof/work/riscv-arch-test/rv32i_m/pmp32", "rv32gc", coveragesim, coverStr, configs) addTestsByDir(f"{WALLY}/tests/riscof/work/riscv-arch-test/rv64i_m/pmp64", "rv64gc", coveragesim, coverStr, configs) + 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 elif args.fcov: # run tests in lockstep in functional coverage mode addTestsByDir(f"{archVerifDir}/tests/lockstep/rv32/", "rv32gc", coveragesim, coverStr, configs, lockstepMode=1) addTestsByDir(f"{archVerifDir}/tests/lockstep/rv64/", "rv64gc", coveragesim, coverStr, configs, lockstepMode=1)