IActorRuntime.OnActorHalted event

Callback that is fired when an actor has halted and the runtime has stopped managing it.

public event OnActorHaltedHandler OnActorHalted;

See Also

• delegate OnActorHaltedHandler
• interface IActorRuntime
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors