Configuration.MaxFuzzingDelay property

Value that controls the maximum time an operation might get delayed during systematic fuzzing.

public uint MaxFuzzingDelay { get; }

See Also

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