1 2 3 4 5 6 7 8
import json def get_index(suite): with open('../../results/' + suite + '.json') as result_file: result_djson = json.load(result_file) index = result_djson['index'] return index