From 9a982cfd6f626a28dc44c0f6d97b2cef228a884e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 27 Apr 2017 16:17:57 +0100
Subject: also trace memory writes.

---
 mips/mips_extras_ml.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/mips/mips_extras_ml.ml b/mips/mips_extras_ml.ml
index da1aa0ad..61f34425 100644
--- a/mips/mips_extras_ml.ml
+++ b/mips/mips_extras_ml.ml
@@ -70,6 +70,8 @@ let _MEMval (addr, size, data) =
     let byte = unsigned_int(slice_raw (data, big_int_of_int bit_idx, big_int_of_int (bit_idx + 7))) in
     Bytes.set buf (s-1-i) (char_of_int byte);
   done;
+  if !trace_writes then
+    tracef "MEM[%s] <- %s\n" (big_int_to_hex a) (string_of_value data);
   add_mem_bytes a buf 0 s
 
 let _MEMval_tag (addr, size, data) =
-- 
cgit v1.2.3