From c6eb6b79daafb7dc44eb4e8a17409a1a04098ec6 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 24 Apr 2019 20:51:34 +0100
Subject: SMT: Make sure we clear overflow checks between generating properties

---
 lib/rts.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'lib/rts.c')

diff --git a/lib/rts.c b/lib/rts.c
index eacf0a70..fea3588d 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -94,9 +94,10 @@ void write_mem(uint64_t address, uint64_t byte)
   uint64_t mask = address & ~MASK;
   uint64_t offset = address & MASK;
 
-  //if ((byte >= 97 && byte <= 122) || (byte >= 64 && byte <= 90) || (byte >= 48 && byte <= 57) || byte == 10 || byte == 32) {
-  //  fprintf(stderr, "%c", (char) byte);
-  //}
+  /* if ((byte >= 97 && byte <= 122) || (byte >= 64 && byte <= 90) || (byte >= 48 && byte <= 57) || byte == 10 || byte == 32) {
+    fprintf(stderr, "%" PRIx64 "\n", address);
+    fprintf(stderr, "%c", (char) byte);
+  } */
 
   struct block *current = sail_memory;
 
-- 
cgit v1.2.3