Configuration class

The Coyote project configurations.

public class Configuration

Public Members

name description
static Create() Creates a new configuration with default values.
IsDgmlGraphEnabled { get; } If specified, requests a DGML graph of the iteration that contains a bug, if a bug is found. This is different from a coverage activity graph, as it will also show actor instances.
IsVerbose { get; } If true, then messages are logged.
IsXmlLogEnabled { get; } Produce an XML formatted runtime log file.
LivenessTemperatureThreshold { get; } The liveness temperature threshold. If it is 0 then it is disabled. By default this value is assigned to MaxFairSchedulingSteps / 2.
MaxFairSchedulingSteps { get; } The maximum scheduling steps to explore for fair schedulers. By default this is set to 100,000 steps.
MaxUnfairSchedulingSteps { get; } The maximum scheduling steps to explore for unfair schedulers. By default this is set to 10,000 steps.
RandomGeneratorSeed { get; } Custom seed to be used by the random value generator. By default, this value is null indicating that no seed has been set.
ReportActivityCoverage { get; } Enables activity coverage reporting of a Coyote program.
SchedulingStrategy { get; } The systematic testing strategy to use.
StrategyBound { get; } A strategy-specific bound.
TestingIterations { get; } Number of testing iterations.
TimeoutDelay { get; } Value that controls the probability of triggering a timeout each time a built-in timer is scheduled during systematic testing. Decrease the value to increase the frequency of timeouts (e.g. a value of 1 corresponds to a 50% probability), or increase the value to decrease the frequency (e.g. a value of 10 corresponds to a 10% probability). By default this value is 10.
WithActivityCoverageEnabled(…) Updates the configuration with activity coverage enabled or disabled.
WithDgmlGraphEnabled(…) Updates the configuration with DGML graph generation enabled or disabled.
WithLivenessTemperatureThreshold(…) 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.
WithMaxSchedulingSteps(…) Updates the configuration with the specified number of maximum scheduling steps to explore per iteration during systematic testing. The MaxUnfairSchedulingSteps is assigned the maxSteps value, whereas the MaxFairSchedulingSteps is assigned a value using the default heuristic, which is 10 * maxSteps. (2 methods)
WithPCTStrategy(…) Updates the configuration to use the PCT scheduling strategy during systematic testing. You can specify the number of priority switch points, which by default are 10.
WithProbabilisticStrategy(…) 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.
WithRandomGeneratorSeed(…) Updates the seed used by the random value generator during systematic testing.
WithRandomStrategy() Updates the configuration to use the random scheduling strategy during systematic testing.
WithReplayStrategy(…) Updates the configuration to use the replay scheduling strategy during systematic testing. This strategy replays the specified schedule trace to reproduce the same execution.
WithTelemetryEnabled(…) Updates the configuration with telemetry enabled or disabled.
WithTestingIterations(…) Updates the configuration with the specified number of iterations to run during systematic testing.
WithTimeoutDelay(…) Updates the TimeoutDelay value that controls the probability of triggering a timeout each time a built-in timer is scheduled during systematic testing. This value is not a unit of time.
WithVerbosityEnabled(…) Updates the configuration with verbose output enabled or disabled.
WithXmlLogEnabled(…) Updates the configuration with XML log generation enabled or disabled.

Protected Members

name description
Configuration() Initializes a new instance of the Configuration class.

See Also