InMemoryLogger.Dispose method

Releases the resources used by the logger.

protected override void Dispose(bool disposing)

See Also

• class InMemoryLogger
• namespace Microsoft.Coyote.IO
• assembly Microsoft.Coyote