Configuration.WithScheduleCoverageReported method

Updates the configuration to enable or disable reporting schedule coverage.

public Configuration WithScheduleCoverageReported(bool isEnabled = true)

parameter	description
isEnabled	If true, then enables schedule coverage reporting.

See Also

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