HaltEvent class
The halt event.
public sealed class HaltEvent : Event
Public Members
| name | description |
|---|---|
| static Instance { get; } | Gets a HaltEvent instance. |
See Also
- class Event
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
The halt event.
public sealed class HaltEvent : Event
| name | description |
|---|---|
| static Instance { get; } | Gets a HaltEvent instance. |