ksmt-core/io.ksmt/KContext/mkBvHex

mkBvHex

fun mkBvHex(value: String, sizeBits: UInt): KBitVecValue<KBvSort>

Create a BitVec value with sizeBits bit length from the given hex string value.