def __init__()

in SketchExperiment.py [0:0]


    def __init__(self, workload, oracle, options=None, result_file="exp_results.csv"):
        # basic setup variables
        self.workload = workload
        self.oracle = oracle        
        self.options = options if options is not None else ExperimentOptions()
        self.results = ResultAccumulator()
        self.timer = {}
        self.result_file=result_file
        self.start_seed = 0