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.

1 files changed, 1 insertions, 1 deletions

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