HaltEvent.Instance property

Gets a HaltEvent instance.

public static HaltEvent Instance { get; }

See Also

• class HaltEvent
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors