def test_goalexpand():
def growing_goal(*args):
if len(args) < 10:
return (growing_goal, 1) + tuple(args)
else:
return lambda s: (1,)
g = (growing_goal, 2)
assert goalexpand(g) == (growing_goal, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2)
t = goalexpand((membero, x, (1, 2, 3)))
assert t == (lany, (eq, x, 1), (eq, x, 2), (eq, x, 3))
def test_goalexpand():
def growing_goal(*args):
if len(args) < 10:
return (growing_goal, 1) + tuple(args)
else:
return lambda s: (1, )
g = (growing_goal, 2)
assert goalexpand(g) == (growing_goal, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2)
def test_goalexpand():
def growing_goal(*args):
if len(args) < 10:
return (growing_goal, 1) + tuple(args)
else:
return lambda s: (1,)
g = (growing_goal, 2)
assert goalexpand(g) == (growing_goal, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2)