Configuration.WithDeadlockTimeout method
Updates the value that controls how much time the background deadlock monitor should wait during concurrency testing before reporting a potential deadlock.
public Configuration WithDeadlockTimeout(uint timeout)
| parameter | description |
|---|---|
| timeout | The timeout value in milliseconds, which by default is 1000. |
Remarks
Increase the value to give more time to the test to resolve a potential deadlock.
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote