ConsoleLogger constructor
Initializes a new instance of the ConsoleLogger
class.
public ConsoleLogger(VerbosityLevel level)
See Also
- enum VerbosityLevel
- class ConsoleLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
Initializes a new instance of the ConsoleLogger
class.
public ConsoleLogger(VerbosityLevel level)