def _translate_undef(self, oprnd1, oprnd2, oprnd3):
        # TODO: Support somehow.

        # raise Exception("Unsupported instruction : UNDEF")

        return []
Return a formula representation of a UNDEF instruction.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_undef