in SketchExperiment.py [0:0]
def __init__(self, repetition, sketch_name, sketch_fun, sketch_kwargs, workload, oracle, options):
self.repetition = repetition
self.sketch_name = sketch_name
self.sketch_fun = sketch_fun
self.sketch_kwargs = sketch_kwargs
self.sketch_name = sketch_name
self.workload = workload
self.oracle = oracle
self.results = ResultAccumulator(save_answers=True) # XXX
self.options = options