Testing stamina
n
Purpose: test the
stamina
property of a
Explorer
object, as modified by the
method
takeHit
.
n
Preconditions:
u
Initial value of
stamina >=0
u
hitStrength
argument to
takeHit
>=0
n
Postconditions:
u
stamina
>=0
n