IOperationBuilder.GroupId property

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.

public Guid? GroupId { get; }

See Also

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