path: root/data/report/get_indices.py

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