Configuration.LogLevel property

The level of detail to provide in verbose logging.

public LogSeverity LogLevel { get; }

See Also

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