From 38667eef2904e340a54b33298268d9e5ae98c8c2 Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Tue, 30 Apr 2019 13:21:37 -0300
Subject: [PATCH] Update main_manticore.py

---
 bin/deepstate/main_manticore.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index 62f9f448..052c76b8 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -468,7 +468,7 @@ def main():
   args = DeepManticore.parse_args()
 
   try:
-    m = manticore.native.Manticore(args.binary)
+    m = manticore.native.Manticore(args.binary, policy='uncovered')
   except Exception as e:
     L.critical("Cannot create Manticore instance on binary {}: {}".format(
       args.binary, e))