Remove wallycov64i tests

This commit is contained in:
Jordan Carlin 2024-09-29 10:24:09 -07:00
parent 4c5f397afd
commit 8a0ca9826a
No known key found for this signature in database

View File

@ -70,59 +70,6 @@ string coverage64gc[] = '{
"pmpadrdecs"
};
string wallycov64i[] = '{
`WALLYTEST,
"rv64i_m/I/src/WALLY-COV-lh.S",
"rv64i_m/I/src/WALLY-COV-srli.S",
"rv64i_m/I/src/WALLY-COV-srai.S",
"rv64i_m/I/src/WALLY-COV-or.S",
"rv64i_m/I/src/WALLY-COV-sra.S",
"rv64i_m/I/src/WALLY-COV-sll.S",
"rv64i_m/I/src/WALLY-COV-slti.S",
"rv64i_m/I/src/WALLY-COV-bne.S",
"rv64i_m/I/src/WALLY-COV-bltu.S",
"rv64i_m/I/src/WALLY-COV-srliw.S",
"rv64i_m/I/src/WALLY-COV-slliw.S",
"rv64i_m/I/src/WALLY-COV-sw.S",
"rv64i_m/I/src/WALLY-COV-sraiw.S",
"rv64i_m/I/src/WALLY-COV-sltu.S",
"rv64i_m/I/src/WALLY-COV-addiw.S",
"rv64i_m/I/src/WALLY-COV-slli.S",
"rv64i_m/I/src/WALLY-COV-beq.S",
"rv64i_m/I/src/WALLY-COV-sd.S",
"rv64i_m/I/src/WALLY-COV-auipc.S",
"rv64i_m/I/src/WALLY-COV-bge.S",
"rv64i_m/I/src/WALLY-COV-sltiu.S",
"rv64i_m/I/src/WALLY-COV-lui.S",
"rv64i_m/I/src/WALLY-COV-lw.S",
"rv64i_m/I/src/WALLY-COV-lwu.S",
"rv64i_m/I/src/WALLY-COV-slt.S",
"rv64i_m/I/src/WALLY-COV-blt.S",
"rv64i_m/I/src/WALLY-COV-addw.S",
"rv64i_m/I/src/WALLY-COV-lb.S",
"rv64i_m/I/src/WALLY-COV-xori.S",
"rv64i_m/I/src/WALLY-COV-addi.S",
"rv64i_m/I/src/WALLY-COV-xor.S",
"rv64i_m/I/src/WALLY-COV-jal.S",
"rv64i_m/I/src/WALLY-COV-sb.S",
"rv64i_m/I/src/WALLY-COV-ld.S",
"rv64i_m/I/src/WALLY-COV-lhu.S",
"rv64i_m/I/src/WALLY-COV-andi.S",
"rv64i_m/I/src/WALLY-COV-ori.S",
"rv64i_m/I/src/WALLY-COV-sub.S",
"rv64i_m/I/src/WALLY-COV-and.S",
"rv64i_m/I/src/WALLY-COV-sh.S",
"rv64i_m/I/src/WALLY-COV-srlw.S",
"rv64i_m/I/src/WALLY-COV-sraw.S",
"rv64i_m/I/src/WALLY-COV-subw.S",
"rv64i_m/I/src/WALLY-COV-sllw.S",
"rv64i_m/I/src/WALLY-COV-jalr.S",
"rv64i_m/I/src/WALLY-COV-lbu.S",
"rv64i_m/I/src/WALLY-COV-add.S",
"rv64i_m/I/src/WALLY-COV-srl.S",
"rv64i_m/I/src/WALLY-COV-bgeu.S"
};
string buildroot[] = '{
`BUILDROOT,
"buildroot"