Monitor.HashedState property

User-defined hashed state of the monitor. Override to improve the accuracy of stateful techniques during testing.

protected virtual int HashedState { get; }

See Also

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