Python converge_step Examples

Example #1

def test_www_diverges():
    WWW = (W, (W,), (W,),)
    assert converge_step(WWW) == WWW
    with pytest.raises(Diverged):
        try_converge(WWW, 1)

Example #2

def test_converge():
    with pytest.raises(Converged):
        converge_step((TOP, ))

Example #3

File: diverge_test.py Project: imclab/pomagma

def test_www_diverges():
    WWW = (W, (W,), (W,),)
    assert_equal(converge_step(WWW), WWW)
    assert_raises(Diverged, try_converge, WWW, 1)

Example #4

def _test_converge_step(term, expected):
    actual = converge_step(term)
    assert expected == actual

Example #5

File: diverge_test.py Project: imclab/pomagma

def _test_converge_step(term, expected):
    actual = converge_step(term)
    assert_equal(expected, actual)