def _translate_bisz(self, oprnd1, oprnd2, oprnd3):
        assert oprnd1.size and oprnd3.size

        op1_var = self._translate_src_oprnd(oprnd1)
        op3_var, parent_reg_constrs = self._translate_dst_oprnd(oprnd3)

        ite = smtlibv2.ITEBV(oprnd3.size, op1_var == 0x0, 0x1, 0x0)

        rv = [(op3_var == ite)]

        if parent_reg_constrs:
            rv += parent_reg_constrs

        return rv
Test if ProfileUpdateRequest is successfully added.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_bisz--crossover with--dataset/ETHPy150Open swcarpentry/amy/workshops/test/test_profile_update_request.py/TestProfileUpdateRequest.test_request_added