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