Configuration.WithMaxSchedulingSteps method (1 of 2)
Updates the configuration with the specified number of maximum scheduling steps to explore per iteration during systematic testing. The MaxUnfairSchedulingSteps is assigned the maxSteps value, whereas the MaxFairSchedulingSteps is assigned a value using the default heuristic, which is 10 * maxSteps.
public Configuration WithMaxSchedulingSteps(uint maxSteps)
| parameter | description |
|---|---|
| maxSteps | The maximum scheduling steps to explore per iteration. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote
Configuration.WithMaxSchedulingSteps method (2 of 2)
Updates the configuration with the specified number of maximum unfair and fair scheduling steps to explore per iteration during systematic testing. It is recommended to use WithMaxSchedulingSteps instead of this overloaded method.
public Configuration WithMaxSchedulingSteps(uint maxUnfairSteps, uint maxFairSteps)
| parameter | description |
|---|---|
| maxUnfairSteps | The unfair scheduling steps to explore per iteration. |
| maxFairSteps | The fair scheduling steps to explore per iteration. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote