ConsoleLogger constructor

Initializes a new instance of the ConsoleLogger class.

public ConsoleLogger()

See Also

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