Configuration.WithPrioritizationStrategy method
Updates the configuration to use the priority-based exploration strategy during systematic testing. You can specify if you want to enable liveness checking, which is disabled by default, and an upper bound of possible priority changes, which by default can be up to 10.
public Configuration WithPrioritizationStrategy(bool isFair = false, uint priorityChangeBound = 10)
| parameter | description |
|---|---|
| isFair | If true, enable liveness checking by using fair scheduling. |
| priorityChangeBound | Upper bound of possible priority changes per test iteration. |
Remarks
Note that explicitly setting this strategy disables the default exploration mode that uses a tuned portfolio of strategies.
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote