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.


Note that explicitly setting this strategy disables the default exploration mode that uses a tuned portfolio of strategies.

See Also