MemoryLogger.Dispose method

Releases any resources held by the logger.

public void Dispose()

See Also

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