Configuration.WithTestingIterations method

Updates the configuration with the specified number of iterations to run during systematic testing.

public Configuration WithTestingIterations(uint iterations)

parameter	description
iterations	The number of iterations to run.

See Also

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