UnhandledEventException.CurrentStateName field

The name of the current state, if the actor that threw the exception is a StateMachine and a state exists, else null.

public string CurrentStateName;

See Also

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