kdrag.theories.bitvec.BVNot

kdrag.theories.bitvec.BVNot(x: DatatypeRef) → DatatypeRef

>>> smt.simplify(BVNot(BitVecNVal(1, 3)))
BitVecN(Concat(Unit(0), Concat(Unit(1), Unit(1))))