forked from jdanceze/cg_parser
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgen_coverage_sig_set.py
38 lines (26 loc) · 1.07 KB
/
gen_coverage_sig_set.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
import configparser
from signature_convert import convert_signature
config = configparser.ConfigParser()
config.read('settings.ini')
coverage_file = config.get('Paths', 'coverage_file')
covids_file = config.get('Paths', 'covids_file')
cov_set_file = config.get('Paths', 'cov_set_file')
with open(coverage_file, 'r') as coverage:
lines = [line.strip() for line in coverage if not line.startswith(('recorder:', 'version:', '###'))]
line_numbers = [int(line) for line in lines]
line_numbers = list(dict.fromkeys(line_numbers))
with open(covids_file, 'r') as covids:
method_signatures = [line.strip() for line in covids]
result = [method_signatures[line_number - 1] for line_number in line_numbers]
signate_set = set()
#id_set = set()
for signature in result:
print("old: ",signature)
new_signature = convert_signature(signature)
print("new: ",new_signature)
print("====================================")
signate_set.add(new_signature)
with open(cov_set_file, 'w') as f:
for signature in signate_set:
f.write(signature)
f.write("\n")