From 8a0ca9826aad07aa9019b5b48ea05473851c86bc Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Sun, 29 Sep 2024 10:24:09 -0700
Subject: [PATCH] Remove wallycov64i tests

---
 testbench/tests.vh | 53 ----------------------------------------------
 1 file changed, 53 deletions(-)

diff --git a/testbench/tests.vh b/testbench/tests.vh
index 07954b9a2..f8ef4a319 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -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"