def _translate_nop(self, oprnd1, oprnd2, oprnd3):
        return []

    # Ad-hoc Instructions
    # ======================================================================== #
Return a formula representation of a NOP instruction.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_nop