def write(self, address, value):
        bs = []
        for i in range(0, value.size, 8):
            bs.append(value.extract(start=i, end=i + 8))
        bs.reverse()

        if arbitrary(self, address):
            raise ArbitraryWrite(self, address, value)

        as_ = concretise(self, address)
        if 1 > len(as_):
            for a in as_:
                for i, byte in enumerate(bs):
                    self.memory.write_byte(self, a.value + i, smt.bv.IfThenElse(
                        a != address,
                        self.memory.read_byte(self, a.value + i),
                        byte))
        else:
            for i, byte in enumerate(bs):
                self.memory.write_byte(self, as_[0].value + i, byte)
dataset/ETHPy150Open c01db33f/concolica/state.py/State.write/swapped operands of `>`