(self, memory, addr, n, **kwargs)
return memory.state.solver.eval_upto(addr, n, exact=kwargs.pop('exact', self._exact), **kwargs)
Gets n solutions for an address.
Gets n solutions for an address.
Gets n solutions for an address .
def _eval(self, memory, addr, n, **kwargs):
        """
        Gets n solutions for an address.
        """
        if isinstance(addr, claripy.vsa.StridedInterval):
            return addr.eval(n)
        return memory.state.solver.eval_upto(addr, n, exact=kwargs.pop('exact', self._exact), **kwargs)
def _eval ( self , memory , addr , n , * * kwargs ) : if isinstance ( addr , claripy . vsa . StridedInterval ) : return addr . eval ( n ) return memory . state . solver . eval_upto ( addr , n , exact = kwargs . pop ( 'exact' , self . _exact ) , * * kwargs )