7 def run(args, input_filename, s):
10 if 'version' in s['Option']:
11 v = s['Option']['version']
12 (major, minor, patch) = v.split('.')
14 j[t.name] = {'crc': f'{t.crc:#08x}', 'version': major,
16 return json.dumps(j, indent=4, separators=(',', ': '))