Configuration.MaxUnfairSchedulingSteps property

The maximum scheduling steps to explore for unfair schedulers. By default this is set to 10,000 steps.

public int MaxUnfairSchedulingSteps { get; }

See Also

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