Next: Guile Exec Report Reference, Up: Guile Report Reference [Contents][Index]
This type represents a suite report.
It encapsulates micro_benchmark_report
underneath and a
reference to the suite to controls its lifetime. Note that this name
is not exported by the module, but objects of this type are returned
by the following function.
Preconditions:
make-suite
.
Effects:
Postconditions:
Preconditions:
Effects:
<report>
.
Postconditions:
#t
if object was returned by
get-report
.
Preconditions:
get-report
.
Effects:
Postconditions:
The following functions allow to iterate a report object, traversing the test execution reports contained in it:
Preconditions:
get-report
.
Effects:
#:self-test
was provided and true, or not provided at all,
call fun once for each test execution report contained in
report, including the self test of the suite.
#:self-test
was provided as false, call fun once for
each test execution report contained in report, excluding the
self test of the suite.
(fun exr)
, where exr is an
<exec-report>
object.
Postconditions:
Preconditions:
get-report
.
Effects:
#:self-test
was provided and true, or not provided at all,
call fun once for each test execution report contained in
report, including the self test of the suite.
#:self-test
was provided as false, call fun once for
each test execution report contained in report, excluding the
self test of the suite.
(fun exr ip)
, where exr is an
<exec-report>
object and ip is init in the first
call and the value returned by the last fun call the successive
times.
Postconditions:
Next: Guile Exec Report Reference, Up: Guile Report Reference [Contents][Index]