This type represents the time elapsed on a test.
Preconditions:
Effects:
<elapsed-time>
Postconditions:
#f
if object type is not
<elapsed-time>
.
Preconditions:
(elapsed-time? et)
is #t
.
Effects:
Postconditions:
Preconditions:
(elapsed-time? et)
is #t
.
Effects:
Postconditions:
This type represents a time sample taken during the execution of a test case.
Preconditions:
Effects:
<time-sample>
Postconditions:
#f
if object type is not
<time-sample>
.
Preconditions:
(stat-value? stat)
is #t
.
Effects:
Postconditions:
Preconditions:
(time-sample? sample)
is #t
.
Effects:
Postconditions:
<elapsed-time>
.