Configuration.DeadlockTimeout property

Value that controls how much time the deadlock monitor should wait during concurrency testing before reporting a potential deadlock. This value is in milliseconds.

public uint DeadlockTimeout { get; }

See Also

• class Configuration
• namespace Microsoft.Coyote
• assembly Microsoft.Coyote