Updates the configuration to use the priority-based scheduling 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)
|isFair||If true, enable liveness checking by using fair scheduling.|
|priorityChangeBound||Upper bound of possible priority changes per test iteration.|