BitVecClone
BitVecClone Description Create a deep copy of a bitvector. The returned bitvector must be deinitialized when no longer needed.
Read MoreBitVecInsertMultiple
BitVecInsertMultiple Description Insert all bits from another bitvector at a specific position. All existing bits at and after the position are shifted right.
Read More