fuzz

type Config struct {
	// Seed is the seed of the first formula; formula i uses Seed + i.
	Seed uint64
	// N is the number of formulas.
	N int
	// Workers is the number of goroutines, each with its own VM and
	// database connection.
	Workers int
	// MaxText is the text limit the formulas evaluate under (ADR-0021).
	// It is small by default, so that short inputs reach the boundary
	// often and a campaign never builds a long text.
	MaxText int
}

type Formula struct {
	// Seed reproduces the formula: New(Seed).Formula() generates it again.
	Seed   uint64
	Src    string
	Inputs []formula.Value
	Ctx    formula.Context
}

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

type Outcome struct {
	Prog *formula.Program
	// BindErr is set when the formula did not bind: a generator bug.
	BindErr error
	// VM is the VM's value, and VMCode its error code when it failed.
	VM     formula.Value
	VMCode string
	// SQL is the dialect's result; SQLErr is set when the statement
	// itself failed, which is a divergence too.
	SQL    formula.SQLResult
	SQLErr error
	// Reason says how the targets disagree; "" when they agree.
	Reason string
}

type Stats struct {
	Formulas int
	// VMErrors counts formulas the VM ended with an error code; the
	// rest produced a value.
	VMErrors int
	// Divergences counts formulas the targets disagreed on; Reports holds
	// the first few, rendered.
	Divergences int
	Reports     []string
	// Brief has one line per divergence, seed, reason and formula, for
	// the first maxBrief of them, to see the classes at a glance.
	Brief   []string
	Elapsed time.Duration
}