Commented out 100k tests to improve speed

This commit is contained in:
David Harris 2021-06-21 01:43:18 -04:00
parent 5d6dc82db2
commit 7930c2ebb4

View File

@ -217,7 +217,7 @@ string tests32f[] = '{
}; };
string tests64i[] = '{ string tests64i[] = '{
"rv64i/WALLY-PIPELINE-100K", "f7ff0", //"rv64i/WALLY-PIPELINE-100K", "f7ff0",
"rv64i/I-ADD-01", "3000", "rv64i/I-ADD-01", "3000",
"rv64i/I-ADDI-01", "3000", "rv64i/I-ADDI-01", "3000",
"rv64i/I-ADDIW-01", "3000", "rv64i/I-ADDIW-01", "3000",
@ -363,7 +363,7 @@ string tests32f[] = '{
}; };
string tests32i[] = { string tests32i[] = {
"rv32i/WALLY-PIPELINE-100K", "10a800", //"rv32i/WALLY-PIPELINE-100K", "10a800",
"rv32i/I-ADD-01", "2000", "rv32i/I-ADD-01", "2000",
"rv32i/I-ADDI-01","2000", "rv32i/I-ADDI-01","2000",
"rv32i/I-AND-01","2000", "rv32i/I-AND-01","2000",