TimerInfo.CustomEvent field

The optional custom event to raise instead of the default TimerElapsedEvent.

public readonly TimerElapsedEvent CustomEvent;

See Also

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