fix

check_coverage_reports.py

@@ -12,10 +12,11 @@ def check_coverage_reports(inp_dir: Path, max_allowed_num_uncovered_lines: int)
  for report_path in inp_dir.rglob('*.json'):
  with report_path.open('r') as inp:
  for file_, data in json.load(inp)['files'].items():
+ line_to_was_hit = file_to_line_to_was_hit[file_.replace('\\', '/')]
  for line in data['executed_lines']:
- file_to_line_to_was_hit[file_][line] = True
+ line_to_was_hit[line] = True
  for line in data['missing_lines']:
- file_to_line_to_was_hit[file_].setdefault(line, False)
+ line_to_was_hit.setdefault(line, False)
 
  num_uncovered_lines = 0
  for file_, line_to_was_hit in file_to_line_to_was_hit.items():