From b12224d8a60ad21026116d6dd928caf2ef9c7bc3 Mon Sep 17 00:00:00 2001 From: JP Smith Date: Wed, 14 Jun 2017 09:45:59 -0400 Subject: [PATCH] short circuit _getState when queue is empty (#302) --- manticore/core/executor.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/manticore/core/executor.py b/manticore/core/executor.py index bfdfe9d..6fd4638 100644 --- a/manticore/core/executor.py +++ b/manticore/core/executor.py @@ -332,6 +332,8 @@ class Executor(object): return self._getState(policy, order, fudge) def _getState(self, policy='random', order='max', fudge=1): + if not self._states.items(): + return None assert order in ['max','min'] assert abs(fudge)>0 assert policy in ['random','adhoc','uncovered','dicount','icount','syscount','depth','bucket']