示例#1
0
def test_abstract_eta(code):
    hypothesis.assume(is_const(code))
    assert abstract(app(code, IVAR(0))) is decrement_rank(code)
示例#2
0
def test_is_const(code, expected):
    assert is_const(code) is expected