Monitor.ToString method

Returns a string that represents the current monitor.

public override string ToString()

See Also

• class Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote