TextWriterLogger.Dispose method

Releases any resources held by the logger.

public void Dispose()

See Also

• class TextWriterLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote