Configuration.WithVerbosityEnabled method

Updates the configuration to use the specified verbosity level, or Info, if no level is specified. The default verbosity level is Error.

public Configuration WithVerbosityEnabled(VerbosityLevel level = VerbosityLevel.Info)

parameter	description
level	The level of verbosity used during logging.

See Also

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