def closeReceived(self):
        log.msg('remote close')
        self.loseConnection()
Translate source resgister operand to SMT expr.
dataset/ETHPy150Open kuri65536/python-for-android/python-modules/twisted/twisted/conch/ssh/channel.py/SSHChannel.closeReceived--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_src_register_oprnd