IOperationBuilder interface
Interface of a controlled operation builder.
public interface IOperationBuilder
Members
| name | description |
|---|---|
| GroupId { get; } | Optional id of the operation group that contains the operation being built. If multiple operations have the same group id, then the test engine can use this information to optimize exploration. |
| HashedStateCallback { get; } | 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. |
| Name { get; } | The name of the operation being built. |
See Also
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote