EventGroup.Id property

The unique id of this EventGroup, initialized with Guid.Empty.

public Guid Id { get; }

See Also

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