Configuration.IsVerbose property

If true, then messages are logged.

public bool IsVerbose { get; }

See Also

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