TextWriterLogger constructor

Initializes a new instance of the TextWriterLogger class.

public TextWriterLogger(TextWriter logger, VerbosityLevel level)

See Also

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