ActorId.Name field

Name used for logging.

public readonly string Name;

See Also

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