restored tlbNAPOT coverage tests

This commit is contained in:
David Harris 2023-12-31 09:55:58 -08:00
parent 17cbdb53df
commit 52b6d1d163
2 changed files with 4 additions and 4 deletions

View File

@ -45,7 +45,7 @@ string tvpaths[] = '{
string coverage64gc[] = '{
`COVERAGE,
"ieu",
// "tlbNAPOT",
"tlbNAPOT",
"priv",
"ebu",
"csrwrites",
@ -2114,7 +2114,7 @@ string arch64zbs[] = '{
`WALLYTEST,
"rv32i_m/privilege/src/WALLY-csr-permission-s-01.S",
"rv32i_m/privilege/src/WALLY-csr-permission-u-01.S",
"rv32i_m/privilege/src/WALLY-cbom-01.S",
// "rv32i_m/privilege/src/WALLY-cbom-01.S",
"rv32i_m/privilege/src/WALLY-cboz-01.S",
"rv32i_m/privilege/src/WALLY-mie-01.S",
"rv32i_m/privilege/src/WALLY-minfo-01.S",

View File

@ -1,7 +1,7 @@
hart_ids: [0]
hart0:
# ISA: RV64IMAFDCSUZicsr_Zicboz_Zifencei_Zca_Zba_Zbb_Zbc_Zbs # Zkbs_Zcb
ISA: RV64IMAFDCSUZicsr_Zifencei_Zbb_Zbc_Zbs # Zkbs_Zcb
# ISA: RV64IMAFDCSUZicsr_Zicboz_Zifencei_Zbb_Zbc_Zbs # Zkbs_Zcb
ISA: RV64IMAFDCSUZicsr_Zifencei_Zca_Zcb_Zbb_Zbc_Zbs # Zkbs_Zcb
physical_addr_sz: 56
User_Spec_Version: '2.3'
supported_xlen: [64]