IOperationBuilder.HashedStateCallback property

Optional callback that returns the hashed state of the operation being built. If provided, it can be used by the test engine to optimize exploration.

public Func<int> HashedStateCallback { get; }

See Also

• interface IOperationBuilder
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote