Configuration.WithVerbosityEnabled method
Updates the configuration with verbose output enabled or disabled.
public Configuration WithVerbosityEnabled(bool isVerbose = true,
LogSeverity logLevel = LogSeverity.Informational)
parameter | description |
---|---|
isVerbose | If true, then messages are logged. |
logLevel | The level of detail to provide in verbose logging. |
See Also
- enum LogSeverity
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote