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)
|timeout||The timeout value in milliseconds, which by default is 1000.|
Increase the value to give more time to the test to resolve a potential deadlock.
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote