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
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote