def __init__()

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