def _translate_unkn(self, oprnd1, oprnd2, oprnd3):
        raise Exception("Unsupported instruction : UNKN")
Return a formula representation of a UNKN instruction.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_unkn