Merge branch 'main' of github.com:davidharrishmc/riscv-wally into main

This commit is contained in:
Ross Thompson 2022-11-29 14:57:38 -06:00
commit 0277227323

View File

@ -1820,7 +1820,8 @@ string imperas32f[] = '{
"rv64i_m/privilege/src/WALLY-trap-u-01.S",
"rv64i_m/privilege/src/WALLY-wfi-01.S",
"rv64i_m/privilege/src/WALLY-endianness-01.S",
"rv64i_m/privilege/src/WALLY-status-xlen-01.S"
"rv64i_m/privilege/src/WALLY-status-xlen-01.S",
"rv64i_m/privilege/src/WALLY-satp-invalid-01.S"
};
string wally64periph[] = '{