TimerInfo.Period field
The time interval between timeout events.
public readonly TimeSpan Period;
See Also
- class TimerInfo
- namespace Microsoft.Coyote.Actors.Timers
- assembly Microsoft.Coyote
The time interval between timeout events.
public readonly TimeSpan Period;