From 31838780c3550fbc565d12e3f17cad8e5ce009e3 Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Thu, 14 Dec 2017 00:56:22 -0500
Subject: [PATCH] Trim out trailing newlines and stuff

---
 bin/deepstate/common.py    | 2 +-
 bin/deepstate/main_angr.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py
index 5c63862..8fd0430 100644
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -307,7 +307,7 @@ class DeepState(object):
       message.append(format_str % val)
 
     res = "".join(message)
-    res.rstrip("\r\n")
+    res.rstrip(" \t\r\n\0")
     return res
 
   def _save_test(self, info, input_bytes):
diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py
index 06ce782..e8b8dcc 100644
--- a/bin/deepstate/main_angr.py
+++ b/bin/deepstate/main_angr.py
@@ -299,7 +299,7 @@ def main():
   try:
     project = angr.Project(
         args.binary,
-        use_sim_procedures=False,
+        use_sim_procedures=True,
         translation_cache=True,
         support_selfmodifying_code=False,
         auto_load_libs=True,