Python is_linear Examples

Example #1

File: bohm_test.py Project: fritzo/pomagma

def test_linear_is_normal(term):
    hypothesis.assume(is_linear(term))
    assert is_normal(term)

Example #2

def test_linear_is_normal(code):
    hypothesis.assume(is_linear(code))
    assert is_normal(code)

Example #3

File: bohm_test.py Project: fritzo/pomagma

def test_is_linear(term, expected):
    assert is_linear(term) is expected

Example #4

def test_is_linear(code, expected):
    assert is_linear(code) is expected