Configuration.WithFailureOnMaxStepsBoundEnabled method

Updates the configuration to treat reaching the execution steps bound as a bug during testing.

public Configuration WithFailureOnMaxStepsBoundEnabled(bool isEnabled = true)

parameter	description
isEnabled	If true, then reaching the execution steps bound is treated as a bug.

See Also

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