def must_view_status_update():
must_view = make_assert(
lambda e: (e.fn.start.called, "Didn't view status update"))
if_updated = make_if(
lambda e: e.fn.status.called, make_next(must_view))
spec = if_updated + make_next(lambda: spec)
return spec
def spec():
asserts = make_assert(True,
lambda e: e.fn.m.inputs[1] > 0,
lambda e: e.fn.m.inputs[1] != 5,
make_next(lambda: asserts))
return asserts
def spec():
# create assert specification
a = make_assert(
lambda event: event.fn.func.inputs[0] > 0)
# create next specification
n = make_next(lambda: spec)
# combine by tail composition
return a + n
def spec_bar_called():
# create assert specification
a = make_assert(
lambda event: event.fn.bar.called)
# create next specification
n = make_next(spec)
# combine by tail composition
return a + n
def spec():
# create assert specification
a = make_assert(
lambda event: event.fn.foo.called)
# create if-then specification, with guard expression
# and an assert specification in the then clause
if_guard = lambda event: event.fn.foo.inputs[0] == 0
if_then = make_assert(
lambda event: event.fn.foo.inputs[1] == 0)
i = make_if(if_guard, if_then)
# create next specification
n = make_next(spec_bar_called)
# combine the three by tail composition
return a + i + n
def spec():
s = make_assert(lambda e: (len(e.history) == 1,"Too much history"),
make_next(lambda: s))
return s
def spec():
a = make_assert(False)
return make_next(a)
