From 1c5697874fa3444cd622df05d0c9fff9f16ba0b6 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Fri, 4 Mar 2022 00:11:55 +0000
Subject: [PATCH] comment out nonfunctioning CSR-PERMISSIONS-M test

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

diff --git a/pipelined/testbench/tests.vh b/pipelined/testbench/tests.vh
index ca472207a..8df95cd38 100644
--- a/pipelined/testbench/tests.vh
+++ b/pipelined/testbench/tests.vh
@@ -1451,7 +1451,7 @@ string imperas32f[] = '{
  string wally64priv[] = '{
     `WALLYTEST,
     "rv64i_m/privilege/WALLY-CSR-permission-s-01", "004080",
-    "rv64i_m/privilege/WALLY-CSR-PERMISSIONS-M", "005070",
+    //"rv64i_m/privilege/WALLY-CSR-PERMISSIONS-M", "005070",
     "rv64i_m/privilege/WALLY-CSR-PERMISSIONS-S", "003070",
     "rv64i_m/privilege/WALLY-CSR-permission-u-01", "005080",
     "rv64i_m/privilege/WALLY-MARCHID", "003070",