| import gzip | |
| import json | |
| import os | |
| def gcov_from_env(): | |
| # return parsed JSON content a GCOV_PATH file | |
| json_filename = os.environ['GCOV_PATH'] | |
| # strip extension | |
| json_filename = json_filename[:json_filename.rindex('.')] | |
| json_filename += '.gcov.json.gz' | |
| json_data = gzip.open(json_filename).read() | |
| return json.loads(json_data) |