Ejemplo n.º 1
0
def test_abstract_eta(code):
    hypothesis.assume(is_const(code))
    assert abstract(app(code, IVAR(0))) is decrement_rank(code)
Ejemplo n.º 2
0
def test_is_const(code, expected):
    assert is_const(code) is expected