def flush(self):
        for stream in self.writers:
            stream.flush()
Return a formula representation of an MUL instruction.
dataset/ETHPy150Open pydoit/doit/doit/action.py/Writer.flush--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_mul