Configuration.WithProbabilisticStrategy method

Updates the configuration to use the probabilistic scheduling strategy during systematic testing. You can specify a value controlling the probability of each scheduling decision. This value is specified as the integer N in the equation 0.5 to the power of N. So for N=1, the probability is 0.5, for N=2 the probability is 0.25, N=3 you get 0.125, etc. By default, this value is 3.

public Configuration WithProbabilisticStrategy(uint probabilityLevel = 3)
parameter description
probabilityLevel The probability level.

See Also