Configuration.WithTraceAnalysisEnabled method

Updates the configuration with execution trace analysis enabled enabled or disabled.

public Configuration WithTraceAnalysisEnabled(bool isEnabled = true)

parameter	description
isEnabled	If true, then execution trace analysis is enabled.

See Also

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