From b04763bcf20713da306808e20cef81230a5741ca Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Tue, 4 Jul 2023 11:34:07 -0700
Subject: [PATCH] Commented SVADU requirements for wally32priv mmu tests

---
 testbench/tests.vh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/testbench/tests.vh b/testbench/tests.vh
index f38f28056..116d39424 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -2031,8 +2031,8 @@ string arch64zbs[] = '{
     "rv32i_m/privilege/src/WALLY-mie-01.S",
     "rv32i_m/privilege/src/WALLY-minfo-01.S",
     "rv32i_m/privilege/src/WALLY-misa-01.S",
-//    "rv32i_m/privilege/src/WALLY-mmu-sv32-01.S",
-    "rv32i_m/privilege/src/WALLY-mmu-sv32-svadu-01.S",
+    // "rv32i_m/privilege/src/WALLY-mmu-sv32-01.S",    // run this if SVADU_SUPPORTED = 0
+    "rv32i_m/privilege/src/WALLY-mmu-sv32-svadu-01.S", // run this if SVADU_SUPPORTED = 1
     "rv32i_m/privilege/src/WALLY-mtvec-01.S",
     "rv32i_m/privilege/src/WALLY-pma-01.S",
     "rv32i_m/privilege/src/WALLY-pmp-01.S",