kdrag.theories.bitvec.PopCount

kdrag.theories.bitvec.PopCount(x: BitVecRef) → ArithRef

>>> smt.simplify(PopCount(smt.BitVecVal(6, 3)))
2

Parameters:

x (BitVecRef)

Return type:

ArithRef