ActorExecutionStatus enumeration
The execution status of an actor.
public enum ActorExecutionStatus
Values
| name | value | description |
|---|---|---|
| None | 0 |
No status is available. |
| Active | 1 |
The actor is active. |
| Halting | 2 |
The actor is halting. |
| Halted | 3 |
The actor is halted. |
See Also
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors