EventGroup.Name property

An optional friendly name for this EventGroup.

public string Name { get; }

See Also

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