IActorRuntimeLog.OnStopTimer method

Invoked when the specified actor timer has been stopped.

public void OnStopTimer(TimerInfo info)

parameter	description
info	Handle that contains information about the timer.

See Also

• class TimerInfo
• interface IActorRuntimeLog
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors