Configuration.WithMaxFuzzingDelay method
Updates the value that controls the maximum time an operation might get delayed during systematic fuzzing.
public Configuration WithMaxFuzzingDelay(uint delay)
| parameter | description |
|---|---|
| delay | The maximum delay during systematic fuzzing, which by default is 1000. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote