in SketchExperiment.py [0:0]
def __init__(self, run, sketch_seed_start, experiment, executor=None):
self.run = run
self.workload = copy.deepcopy(experiment.workload)
self.oracle = copy.deepcopy(experiment.oracle)
self.experiment = experiment
self.executor = executor
self.sketch_seed_start = sketch_seed_start