def test_goaleval(): x, y = var("x"), var("y") g = eq(x, 2) assert goaleval(g) == g assert callable(goaleval((eq, x, 2))) raises(EarlyGoalError, lambda: goaleval((membero, x, y))) assert callable(goaleval((lall, (eq, x, 2))))
def test_goaleval(): x, y = var('x'), var('y') g = eq(x, 2) assert goaleval(g) == g assert callable(goaleval((eq, x, 2))) raises(EarlyGoalError, lambda: goaleval((membero, x, y))) assert callable(goaleval((lall, (eq, x, 2))))
def test_raises(): raises(ZeroDivisionError, lambda: 1/0)
def test_heado(): x, y = var('x'), var('y') assert results(heado(x, (1,2,3))) == ({x: 1},) assert results(heado(1, (x,2,3))) == ({x: 1},) raises(EarlyGoalError, lambda: heado(x, y))
def test_tailo(): x, y = var('x'), var('y') assert results((tailo, x, (1,2,3))) == ({x: (2,3)},) raises(EarlyGoalError, lambda: tailo(x, y))
def test_tailo(): x, y = var('x'), var('y') assert tuple(tailo(x, (1,2,3))({})) == ({x: (2,3)},) raises(EarlyGoalError, lambda: tailo(x, y))
def test_tailo(): x, y = var('x'), var('y') assert results((tailo, x, (1, 2, 3))) == ({x: (2, 3)}, ) raises(EarlyGoalError, lambda: tailo(x, y))
def test_heado(): x, y = var('x'), var('y') assert results(heado(x, (1, 2, 3))) == ({x: 1}, ) assert results(heado(1, (x, 2, 3))) == ({x: 1}, ) raises(EarlyGoalError, lambda: heado(x, y))