TimerElapsedEvent.Info property

Stores information about the timer.

public TimerInfo Info { get; }

See Also

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