TestOutputLogger.Dispose method

Releases any resources held by the logger.

public void Dispose()

See Also

• class TestOutputLogger
• namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
• assembly Microsoft.Coyote.Test