TimerInfo.ToString method

Returns a string that represents the current instance.

public override string ToString()

See Also

• class TimerInfo
• namespace Microsoft.Coyote.Actors.Timers
• assembly Microsoft.Coyote.Actors