Actor.HashedState property

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

protected virtual int HashedState { get; }

See Also

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