stp.BitVecVal

stp.BitVecVal(v, bits, *, wrap=False, tm=None, ctx=None)

A bit-vector literal. Strict: -2**(bits-1) <= v < 2**bits, else ArgumentError; wrap=True reduces v modulo 2**bits.