Ejemplo n.º 1
0
def test_parse_iszero():
    e1 = Expr.as_opexpr("?", Expr.as_lit(0))
    runtest("? ( 0 )", e1)
Ejemplo n.º 2
0
def test_parse_tuple():
    e2 = Expr.as_opexpr("$", Expr.as_lit(3), Expr.as_lit(4))
    runtest("$ (3, 4)", e2)
Ejemplo n.º 3
0
def test_operators():
    runtest("/(x,y)", Expr.as_opexpr("/", Expr.as_var("x"), Expr.as_var("y")))
    runtest(">>(x,y)", Expr.as_opexpr(">>", Expr.as_var("x"), Expr.as_var("y")))