Monitor.CurrentState property

Gets the current state.

protected Type CurrentState { get; }

See Also

• class Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote