ConsoleLogger.LogLevel property

The level of detail to report.

public LogSeverity LogLevel { get; set; }

See Also

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