From 9901f54b15fdc215732644127fbf8800bb2b43f6 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Mon, 17 May 2021 18:39:01 -0400
Subject: [PATCH 2/4] Deleted vish_stacktrace

---
 wally-pipelined/regression/vish_stacktrace.vstf | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 wally-pipelined/regression/vish_stacktrace.vstf

diff --git a/wally-pipelined/regression/vish_stacktrace.vstf b/wally-pipelined/regression/vish_stacktrace.vstf
deleted file mode 100644
index 671bfd098..000000000
--- a/wally-pipelined/regression/vish_stacktrace.vstf
+++ /dev/null
@@ -1,3 +0,0 @@
-# transcript error: error writing "stdout": broken pipe
-    while executing
-"puts -nonewline stdout $s"

From 26531f263421503e5559f74367674ad42b6ae4f0 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Tue, 18 May 2021 14:25:55 -0400
Subject: [PATCH 4/4] fixed rv64mmu makefile

---
 wally-pipelined/testbench/testbench-imperas.sv | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/wally-pipelined/testbench/testbench-imperas.sv b/wally-pipelined/testbench/testbench-imperas.sv
index 310207ab0..185fc906f 100644
--- a/wally-pipelined/testbench/testbench-imperas.sv
+++ b/wally-pipelined/testbench/testbench-imperas.sv
@@ -447,6 +447,7 @@ string tests32f[] = '{
   };
 
   string tests64p[] = '{
+    "rv64p/WALLY-MSTATUS", "2010",
     "rv64p/WALLY-MCAUSE", "3000",
     "rv64p/WALLY-SCAUSE", "2000",
     "rv64p/WALLY-MEPC", "5000",
@@ -521,7 +522,7 @@ string tests32f[] = '{
       end if (TESTSPERIPH) begin 
         tests = tests64periph;
       end else begin 
-        tests = {tests64i,tests64p,tests64periph};
+        tests = {tests64p,tests64i,tests64periph};
         if (`C_SUPPORTED) tests = {tests, tests64ic};
         else              tests = {tests, tests64iNOc};
         if (`M_SUPPORTED) tests = {tests, tests64m};