Actually run the WALLY-LOAD tests

This commit is contained in:
Jarred Allen 2021-02-06 14:56:40 -05:00
parent edd758453e
commit 48ade25577

View File

@ -137,6 +137,7 @@ string tests64iNOc[] = {
"rv64i/I-XORI-01", "3000", "rv64i/I-XORI-01", "3000",
"rv64i/WALLY-ADD", "4000", "rv64i/WALLY-ADD", "4000",
"rv64i/WALLY-SUB", "4000", "rv64i/WALLY-SUB", "4000",
"rv64i/WALLY-LOAD", "11bf0",
"rv64i/WALLY-JAL", "4000", "rv64i/WALLY-JAL", "4000",
"rv64i/WALLY-STORE", "3000" "rv64i/WALLY-STORE", "3000"
}; };
@ -219,6 +220,7 @@ string tests32i[] = {
"rv32i/I-XOR-01","2000", "rv32i/I-XOR-01","2000",
"rv32i/I-XORI-01","2000", "rv32i/I-XORI-01","2000",
"rv32i/WALLY-ADD", "3000", "rv32i/WALLY-ADD", "3000",
"rv32i/WALLY-LOAD", "11c00",
"rv32i/WALLY-SUB", "3000", "rv32i/WALLY-SUB", "3000",
"rv32i/WALLY-STORE", "2000", "rv32i/WALLY-STORE", "2000",
"rv32i/WALLY-JAL", "3000" "rv32i/WALLY-JAL", "3000"