Configuration.WithConsoleLoggingEnabled method

Updates the configuration to log all runtime messages to the console, unless overridden by a custom ILogger.

public Configuration WithConsoleLoggingEnabled(bool isEnabled = true)

parameter	description
isEnabled	If true, then logs all runtime messages to the console.

See Also

• class Configuration
• namespace Microsoft.Coyote
• assembly Microsoft.Coyote