From 85def9a2d488cc2d74394663f9f6323258e5fa59 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Mon, 9 Jul 2018 16:49:31 -0700
Subject: Initialize fresh memory to 0 in the OCaml backend. This makes it
 consistent with the C backend, and also makes it easier to compare traces
 across execution re-runs.

---
 src/sail_lib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sail_lib.ml')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index ab621342..63260c17 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -419,7 +419,7 @@ let get_mem_page p =
   try
     Mem.find p !mem_pages
   with Not_found -> 
-    let new_page = Bytes.create page_size_bytes in
+    let new_page = Bytes.make page_size_bytes '\000' in
     mem_pages := Mem.add p new_page !mem_pages;
     new_page
 
-- 
cgit v1.2.3