kdrag.theories.bitvec.BitVecNVal

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

>>> BitVecNVal(6, 3)
BitVecN(Concat(Unit(0), Concat(Unit(1), Unit(1))))

Parameters:

• x (int)

• N (int)

Return type:

DatatypeRef