TextWriterLogger.TextWriter property

This property provides a TextWriter that implements ILogger which is handy if you have existing code that requires a TextWriter.

public TextWriter TextWriter { get; }

See Also

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