def get_memory(self, mode):
        """Return a smt bit vector that represents a memory location.
        """
        mem = {
            "pre": self._translator.get_memory_init(),
            "post": self._translator.get_memory_curr(),
        }

        return mem[mode]
def get_memory ( self , mode ) : mem = { "pre" : self . _translator . get_memory_init ( ) , "post" : self . _translator . get_memory_curr ( ) , } return mem [ mode ]
Return a smt bit vector that represents a memory location.