Ejemplo n.º 1
0
def ult(x, y):
    return simplify(If(ULT(bv(x), bv(y)), 1, 0)).as_long()
Ejemplo n.º 2
0
def bvredor(x):
    return simplify(BVRedOr(bv(x))).as_long()
Ejemplo n.º 3
0
def bitshift(x, y):
    return simplify(LShR(x, bv(y))).as_long()