TimerInfo.DueTime field

The amount of time to wait before sending the first timeout event.

public readonly TimeSpan DueTime;

See Also

• class TimerInfo
• namespace Microsoft.Coyote.Actors.Timers
• assembly Microsoft.Coyote.Actors