BitVecFromStr
BitVecFromStr Description Create bitvector from string representation. String should contain only ‘1’ and ‘0’ characters.
Read MoreBitVecToStr
BitVecToStr Description Convert bitvector to string representation. Each bit becomes ‘1’ or ‘0’ character. Caller must free the returned string.
Read MoreStrWriteFmtInternal
StrWriteFmtInternal Description Print out a formatted string with rust-style placeholders to given string o.
Read MoreZstrCompareN
ZstrCompareN Description Compare two strings lexicographically up to n characters.
Read More