IActorRuntimeLog.OnHalt method

Invoked when the specified actor has been halted.

public void OnHalt(ActorId id, int inboxSize)

parameter	description
id	The id of the actor that has been halted.
inboxSize	Approximate size of the inbox.

See Also

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