fuzzing

type DefaultMutator struct {
}

type FuzzStrategy struct {
	*types.BaseService
	// contains filtered or unexported fields
}

type FuzzStrategyConfig struct {
	Mutator           Mutator
	Guider            Guider
	TickDuration      time.Duration
	Steps             int
	Seed              rand.Source
	InitialPopulation int
	MutationsPerTrace int
}

type Guider interface {
	HaveNewState(*types.List[*SchedulingChoice], *types.List[*types.Event]) bool
	Reset()
}

type Mutator interface {
	Mutate(*types.List[*SchedulingChoice], *types.List[*types.Event]) (*types.List[*SchedulingChoice], bool)
}

type ScheduleChoiceType string

type SchedulingChoice struct {
	Type    ScheduleChoiceType
	Process types.ReplicaID
	Bool    bool
	Integer int
}

type SwapNodesMutator struct {
	NumSwaps int
	// contains filtered or unexported fields
}

type TLCGuider struct {
	// contains filtered or unexported fields
}

type Trace struct {
	*types.List[*SchedulingChoice]
}