Push

BitVecPush

• Function

BitVecPush Description Push a bit to the end of bitvector. Grows the bitvector if necessary.