Clone

BitVecClone

• Function

BitVecClone Description Create a deep copy of a bitvector. The returned bitvector must be deinitialized when no longer needed.