Example #1
0
def test_primo():
    x = var()
    assert set(run(0, x, membero(x, (1,2,3,4,5,6,7,8,9,10,11)),
                           (primo, x))) == set((2, 3, 5, 7, 11))
    assert all(isprime(i) for i in run(5, x, primo(x)))
    assert set(run(0, x, membero(x, (1,2,3,4,5,6,7,8,9,10)), primo(x))) == \
            set((2, 3, 5, 7))
Example #2
0
def test_membero():
    x = var("x")
    assert set(run(5, x, membero(x, (1, 2, 3)), membero(x, (2, 3, 4)))) == set((2, 3))
    assert run(5, x, membero(2, (1, x, 3))) == (2,)
Example #3
0
def test_uneval_membero():
    x, y = var('x'), var('y')
    assert set(run(100, x, membero(y, ((1,2,3),(4,5,6))), (membero, x, y))) == \
           set((1,2,3,4,5,6))
Example #4
0
def test_typo():
    x = var('x')
    assert results(typo(3, int))
    assert not results(typo(3.3, int))
    assert run(0, x, membero(x, (1, 'cat', 2.2, 'hat')), (typo, x, str)) ==\
            ('cat', 'hat')
Example #5
0
def test_membero():
    x = var('x')
    assert set(run(5, x, membero(x, (1, 2, 3)), membero(x, (2, 3, 4)))) == set(
        (2, 3))

    assert run(5, x, membero(2, (1, x, 3))) == (2, )
Example #6
0
def test_membero_can_be_reused():
    x = var('x')
    g = membero(x, (0, 1, 2))
    assert list(goaleval(g)({})) == [{x: 0}, {x: 1}, {x: 2}]
    assert list(goaleval(g)({})) == [{x: 0}, {x: 1}, {x: 2}]
Example #7
0
def test_typo():
    x = var('x')
    assert results(typo(3, int))
    assert not results(typo(3.3, int))
    assert run(0, x, membero(x, (1, 'cat', 2.2, 'hat')), (typo, x, str)) ==\
            ('cat', 'hat')
Example #8
0
def test_membero_can_be_reused():
    x = var('x')
    g = membero(x, (0, 1, 2))
    assert list(goaleval(g)({})) == [{x: 0}, {x: 1}, {x: 2}]
    assert list(goaleval(g)({})) == [{x: 0}, {x: 1}, {x: 2}]