(cls, state)
return False
Check to see if the current address concretization variable is any of the registered
        constrained_addrs we want to allow concretization for
Check to see if the current address concretization variable is any of the registered
        constrained_addrs we want to allow concretization for
Check to see if the current address concretization variable is any of the registered constrained_addrs we want to allow concretization for
def _should_add_constraints(cls, state):
        """
        Check to see if the current address concretization variable is any of the registered
        constrained_addrs we want to allow concretization for
        """
        expr = state.inspect.address_concretization_expr
        hit_indices = cls._to_indices(state, expr)

        for action in state.preconstrainer._constrained_addrs:
            var_indices = cls._to_indices(state, action.addr)
            if var_indices == hit_indices:
                return True
        return False
def _should_add_constraints ( cls , state ) : expr = state . inspect . address_concretization_expr hit_indices = cls . _to_indices ( state , expr ) for action in state . preconstrainer . _constrained_addrs : var_indices = cls . _to_indices ( state , action . addr ) if var_indices == hit_indices : return True return False