timeout

type Distribution interface {
	Rand() int
}

type ExpDistribution struct {
	*distuv.Exponential
}

type ParetoDistribution struct {
	*distuv.Pareto
}

type TimeoutStrategy struct {
	Actions *types.Channel[*strategies.Action]

	*types.BaseService
	// contains filtered or unexported fields
}

type TimeoutStrategyConfig struct {
	// Accepted as a percentage value (0-100)
	ClockDrift int
	// Maximum message delay time
	// One of MaxMessageDelay or DelayDistribution should be specified
	MaxMessageDelay time.Duration
	// DelayDistribution is the distribution from which message delay values will be sampled
	DelayDistribution Distribution
	// Nondeterministic will fire timeouts randomly ignoring the timeout duration
	Nondeterministic bool
	// SpuriousCheck will enable checking for spuriousness when firing non deterministically
	SpuriousCheck bool
	// Z3Timeout duration for z3 spurious checking
	Z3Timeout time.Duration
	// RecordFilePath stores the data collected to this path
	RecordFilePath string
	// PendingEventThreshold dictates the minimum number of pending events required to choose one
	PendingEventThreshold int
}

type WeibullDistribution struct {
	*distuv.Weibull
}