SendOptions.HashedState property

User-defined hash of the event. The default value is 0. Override to improve the accuracy of stateful techniques during testing.

public int HashedState { get; }

See Also

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