Configuration.WithLivenessTemperatureThreshold method

Updates the configuration with the specified liveness temperature threshold during systematic testing. If this value is 0 it disables liveness checking. It is not recommended to explicitly set this value, instead use the default value which is assigned to MaxFairSchedulingSteps / 2.

public Configuration WithLivenessTemperatureThreshold(uint threshold)
parameter description
threshold The liveness temperature threshold.

See Also