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