コード例 #1
0
ファイル: bohm_test.py プロジェクト: fritzo/pomagma 
def test_linear_is_normal(term):
    hypothesis.assume(is_linear(term))
    assert is_normal(term)
コード例 #2
0
def test_linear_is_normal(code):
    hypothesis.assume(is_linear(code))
    assert is_normal(code)
コード例 #3
0
ファイル: bohm_test.py プロジェクト: fritzo/pomagma 
def test_is_linear(term, expected):
    assert is_linear(term) is expected
コード例 #4
0
def test_is_linear(code, expected):
    assert is_linear(code) is expected