job.go

// Copyright (c) 2020-2021 C4 Project
//
// This file is part of c4t.
// Licenced under the MIT licence; see `LICENSE`.

package fuzzer

import (
	"github.com/c4-project/c4t/internal/machine"
)

// Job contains information on how to fuzz a litmus file.
type Job struct {
	// Seed is the seed to use for randomising decisions made by the fuzzer.
	Seed int32

	// In is the slashpath to the file to fuzz.
	In string

	// OutLitmus is the slashpath to the litmus file that should be outputted by the fuzzer.
	OutLitmus string

	// OutTrace is the slashpath to the trace file that should be outputted by the fuzzer.
	OutTrace string

	// Machine is, optionally, the machine that is the target of the fuzzed output.
	Machine *machine.Machine

	// Config is the configuration for the fuzzer, if any.
	Config *Config
}