From 03f92a7f0ba105666ccc7f982854e31b174ffcd5 Mon Sep 17 00:00:00 2001 From: Alexander Holman MBCS AMIAP Date: Tue, 16 Jan 2018 16:25:16 +0000 Subject: [PATCH] Update manticore.py (#710) Removed first of twice declared function `enqueue` as per #706 --- manticore/manticore.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/manticore/manticore.py b/manticore/manticore.py index bc072e7..88893fb 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -354,10 +354,6 @@ class Manticore(Eventful): def running(self): return self._executor._running.value - def enqueue(self, state): - ''' Dynamically enqueue states. Users should typically not need to do this ''' - self._executor.add(state) - @property def running(self): return self._executor.running