예제 #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