(self, *args, **kwargs)
return self.solver.eval(e)
Returns the contents of a memory but, if the contents are symbolic,
        raises a SimValueError.
Returns the contents of a memory but, if the contents are symbolic,
        raises a SimValueError.
Returns the contents of a memory but if the contents are symbolic raises a SimValueError .
def mem_concrete(self, *args, **kwargs):
        """
        Returns the contents of a memory but, if the contents are symbolic,
        raises a SimValueError.
        """
        e = self.memory.load(*args, **kwargs)
        if self.solver.symbolic(e):
            raise SimValueError("target of mem_concrete is symbolic!")
        return self.solver.eval(e)
def mem_concrete ( self , * args , * * kwargs ) : e = self . memory . load ( * args , * * kwargs ) if self . solver . symbolic ( e ) : raise SimValueError ( "target of mem_concrete is symbolic!" ) return self . solver . eval ( e )