kdrag.theories.bitvec.BitVecNConst

kdrag.theories.bitvec.BitVecNConst(name: str, N: int) → DatatypeRef

There is a lot of confusion possible with this construct. Maybe it shouldn’t exist.

>>> BitVecNConst("x", 3)
BitVecN(Concat(Unit(x[0]), Concat(Unit(x[1]), Unit(x[2]))))

Parameters:

• name (str)

• N (int)

Return type:

DatatypeRef