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