Configuration.WithActivityCoverageReported method

Updates the configuration to enable or disable reporting activity coverage.

public Configuration WithActivityCoverageReported(bool isEnabled = true)

parameter	description
isEnabled	If true, then enables activity coverage.

See Also

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