Configuration.WithUncontrolledInvocationStackTraceLoggingEnabled method

Updates the configuration with stack trace logging for uncontrolled invocations enabled or disabled.

public Configuration WithUncontrolledInvocationStackTraceLoggingEnabled(bool isEnabled = true)

parameter	description
isEnabled	If true, then stack trace logging for uncontrolled invocations is enabled.

See Also

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