コード例 #1
0
ファイル: bohm_test.py プロジェクト: fritzo/pomagma 
def test_app_abstract(term):
    hypothesis.assume(i0 not in quoted_vars(term))
    assert app(bohm.increment_rank(bohm.abstract(term)), i0) is term
コード例 #2
0
ファイル: bohm_test.py プロジェクト: fritzo/pomagma 
def test_abstract_eta(term):
    assert bohm.abstract(app(bohm.increment_rank(term), i0)) is term
コード例 #3
0
ファイル: bohm_test.py プロジェクト: fritzo/pomagma 
def test_decrement_increment_rank(term):
    assert bohm.decrement_rank(bohm.increment_rank(term)) is term
コード例 #4
0
ファイル: bohm_test.py プロジェクト: fritzo/pomagma 
def test_increment_rank(term, expected):
    assert bohm.increment_rank(term) is expected
コード例 #5
0
def test_increment_rank(code, min_rank, expected):
    assert increment_rank(code, min_rank) is expected
コード例 #6
0
def test_decrement_increment_rank(code):
    assert decrement_rank(increment_rank(code, 0)) is code