(cls, state)
Grabs the concretized result so we can add the constraint ourselves.
Grabs the concretized result so we can add the constraint ourselves.
Grabs the concretized result so we can add the constraint ourselves .
def _grab_concretization_results(cls, state):
        """
        Grabs the concretized result so we can add the constraint ourselves.
        """
        # only grab ones that match the constrained addrs
        if cls._should_add_constraints(state):
            addr = state.inspect.address_concretization_expr
            result = state.inspect.address_concretization_result
            if result is None:
                l.warning("addr concretization result is None")
                return
            state.preconstrainer.address_concretization.append((addr, result))
def _grab_concretization_results ( cls , state ) : # only grab ones that match the constrained addrs if cls . _should_add_constraints ( state ) : addr = state . inspect . address_concretization_expr result = state . inspect . address_concretization_result if result is None : l . warning ( "addr concretization result is None" ) return state . preconstrainer . address_concretization . append ( ( addr , result ) )