benchmarks/scripts/generator.py
def save_dataset(name: str, dataset: list, location: str):
    """Save the current datasetv in a .csv file"""
    with open("%s/%s.csv" % (location, name), "w+") as fd:
        for [lb, up] in dataset:
            fd.write("%d %d\n" % (lb, up))
Save the current datasetv in a .csv file
Save the current datasetv in a .csv file
Save the current datasetv in a . csv file
def save_dataset(name: str, dataset: list, location: str):
    with open("%s/%s.csv" % (location, name), "w+") as fd:
        for [lb, up] in dataset:
            fd.write("%d %d\n" % (lb, up))
def save_dataset ( name : str , dataset : list , location : str ) : with open ( "%s/%s.csv" % ( location , name ) , "w+" ) as fd : for [ lb , up ] in dataset : fd . write ( "%d %d\n" % ( lb , up ) )
Save the current datasetv in a .csv file
Save the current datasetv in a . csv file
"""Save the current datasetv in a .csv file"""
name
str
dataset
list
location
str