Configuration.WithTimeoutDelay method
Updates the value that controls the probability of triggering a timeout during systematic testing.
public Configuration WithTimeoutDelay(uint delay)
| parameter | description |
|---|---|
| delay | The timeout delay during testing, which by default is 10. |
Remarks
Increase the value to decrease the probability. This value is not a unit of time.
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote