示例#1
0
def ult(x, y):
    return simplify(If(ULT(bv(x), bv(y)), 1, 0)).as_long()
示例#2
0
def bvredor(x):
    return simplify(BVRedOr(bv(x))).as_long()
示例#3
0
def bitshift(x, y):
    return simplify(LShR(x, bv(y))).as_long()