

def test_run():
    (x, y, z) = map(var, 'xyz')
    assert (run(1, x, eq(x, 1)) == (1,))
    assert (run(2, x, eq(x, 1)) == (1,))
    assert (run(0, x, eq(x, 1)) == (1,))
    assert (run(1, x, eq(x, (y, z)), eq(y, 3), eq(z, 4)) == ((3, 4),))
    assert (set(run(2, x, conde([eq(x, 1)], [eq(x, 2)]))) == set((1, 2)))

dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py test_run/original