

def test_goaleval():
    (x, y) = (var('x'), var('y'))
    g = eq(x, 2)
    assert (goaleval(g) == g)
    assert callable(goaleval((eq, g, 2)))
    raises(EarlyGoalError, (lambda : goaleval((membero, x, y))))
    assert callable(goaleval((lall, (eq, x, 2))))

dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py test_goaleval/VarMisuse@54/66 `x`->`g`