driver

type Driver struct {
	Configuration          *config.Configuration
	SpecificationGenerator *generator.SpecificationGenerator
	Invoker                clients.Invoker

	AsyncRecords *common.LockFreeQueue[*mc.ExecutionRecord]
	// contains filtered or unexported fields
}

type InvocationMetadata struct {
	RootFunction *list.List
	Phase        common.ExperimentPhase

	InvocationID string
	IatIndex     int

	SuccessCount        *int64
	FailedCount         *int64
	FunctionsInvoked    *int64
	RecordOutputChannel chan *mc.ExecutionRecord
	AnnounceDoneWG      *sync.WaitGroup
	AnnounceDoneExe     *sync.WaitGroup
}