kdrag.theories.bitvec.toBV

kdrag.theories.bitvec.toBV(x: DatatypeRef, N: int) → BitVecRef

>>> smt.simplify(toBV(BitVecNVal(6, 3), 3))
6

Parameters:

• x (DatatypeRef)

• N (int)

Return type:

BitVecRef