SMT: Make sure we clear overflow checks between generating properties

1 files changed, 4 insertions, 3 deletions

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;