Previous: Guile Test Case Reference, Up: Guile Test Reference [Contents][Index]
This type represents a test execution state.
It encapsulates micro_benchmark_test_state
underneath. Note
that this name is not exported by the module; the name <state>
is only for reference.
Objects of this type only are provided through the test case functions. These objects must not escape its calling scope, otherwise they are not considered valid.
These objects provide two predicates:
Preconditions:
Effects:
<state>
.
Postconditions:
#t
if object is an state object,
provided to a test related function.
Preconditions:
Effects:
Postconditions:
#t
if the test should perform, at least,
one iteration more.
The following functions are available for objects of this type.
Preconditions:
Effects:
Postconditions:
Preconditions:
Effects:
Postconditions:
Preconditions:
Effects:
Postconditions:
Previous: Guile Test Case Reference, Up: Guile Test Reference [Contents][Index]