From e2f927b4e6c52c5af903005536b6fe2d20098113 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Fri, 16 Jun 2023 16:07:28 -0700
Subject: [PATCH] Replaced zext.h with zext.h_64 in rv64 tests because old one
 is obsolete

---
 testbench/tests.vh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testbench/tests.vh b/testbench/tests.vh
index 54167f73c..38f5bc2d8 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -1466,7 +1466,7 @@ string arch64zbb[] = '{
     "rv64i_m/B/src/andn-01.S",
     "rv64i_m/B/src/orn-01.S",
     "rv64i_m/B/src/xnor-01.S",
-    "rv64i_m/B/src/zext.h-01.S",
+    "rv64i_m/B/src/zext.h_64-01.S",
     "rv64i_m/B/src/sext.b-01.S",
     "rv64i_m/B/src/sext.h-01.S",
     "rv64i_m/B/src/clz-01.S",