From 72aea332aa48106d76d3da9c02ad8b03732578ba Mon Sep 17 00:00:00 2001
From: arunjohnkuruvilla <arunjohnkuruvilla@gmail.com>
Date: Fri, 2 Mar 2018 20:15:04 -0500
Subject: [PATCH] Used toplevel manticore.issymbolic instead of
 manticore.utils.helpers.issymbolic. Fixed Issue #14

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

diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index dbab31a..4af9370 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -31,7 +31,6 @@ import traceback
 from .common import DeepState, TestInfo
 
 from manticore.core.state import TerminateState
-from manticore.utils.helpers import issymbolic
 
 
 L = logging.getLogger("deepstate.mcore")
@@ -51,7 +50,7 @@ class DeepManticore(DeepState):
     return self.state.context
 
   def is_symbolic(self, val):
-    return manticore.utils.helpers.issymbolic(val)
+    return manticore.issymbolic(val)
 
   def create_symbol(self, name, size_in_bits):
     return self.state.new_symbolic_value(size_in_bits, name)