Configuration.WithTestingTimeout method

Updates the configuration with the specified systematic testing timeout in seconds.

public Configuration WithTestingTimeout(int timeout)

parameter	description
timeout	The timeout value in seconds.

Remarks

Setting this value overrides the TestingIterations value.

See Also

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