kdrag.theories.bitvec.fromBV

kdrag.theories.bitvec.fromBV(x: BitVecRef) → DatatypeRef

>>> fromBV(smt.BitVecVal(6, 3))
BitVecN(Concat(Unit(0), Concat(Unit(1), Unit(1))))