futhark-0.10.1: rts/python/tuning.py
### start of tuning.py
###
### Reading the .tuning file.
def read_tuning_file(kvs, f):
for line in f.read().splitlines():
size, value = line.split('=')
kvs[size] = int(value)
return kvs
### end of tuning.py