(self, simgr, stash='active', **kwargs)
return simgr
:param simgr:
        :param stash:
        :param kwargs:
        :return:
def step(self, simgr, stash='active', **kwargs):
        """

        :param simgr:
        :param stash:
        :param kwargs:
        :return:
        """

        # make sure all current blocks are in the CFG
        self._peek_forward(simgr)

        # categorize all states in the simulation manager
        self._categorize_states(simgr)

        if not simgr.active:
            # active states are empty - none of our existing states will reach the target for sure
            self._load_fallback_states(simgr)

        if simgr.active:
            # step all active states forward
            simgr = simgr.step(stash=stash)

        if not simgr.active:
            self._load_fallback_states(simgr)

        return simgr
def step ( self , simgr , stash = 'active' , * * kwargs ) : # make sure all current blocks are in the CFG self . _peek_forward ( simgr ) # categorize all states in the simulation manager self . _categorize_states ( simgr ) if not simgr . active : # active states are empty - none of our existing states will reach the target for sure self . _load_fallback_states ( simgr ) if simgr . active : # step all active states forward simgr = simgr . step ( stash = stash ) if not simgr . active : self . _load_fallback_states ( simgr ) return simgr