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