diff options
Diffstat (limited to 'utils/report/get_indices.py')
| -rw-r--r-- | utils/report/get_indices.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/utils/report/get_indices.py b/utils/report/get_indices.py new file mode 100644 index 00000000..91219c0b --- /dev/null +++ b/utils/report/get_indices.py @@ -0,0 +1,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 |