Details
Description
The invariant is that _nextCall should be clear (Date_t()) when no call is scheduled; if a reschedule fails when _nextCall has already been set, that is violated.
The invariant is that _nextCall should be clear (Date_t()) when no call is scheduled; if a reschedule fails when _nextCall has already been set, that is violated.