Skip to content

Commit

Permalink
coverage: more robost check for coverage delimiters in Python script
Browse files Browse the repository at this point in the history
  • Loading branch information
nmeum committed Jan 16, 2023
1 parent c09a9e3 commit 451f9d6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions dist/tools/coverage/coverage.py
Original file line number Diff line number Diff line change
Expand Up @@ -28,10 +28,10 @@ def retrieve_data(input_file):
reached_end = False
with get_input_stream(input_file) as fp:
for line in fp.readlines():
if re.search("GCOV_COVERAGE_DUMP_START", line):
if re.search("^GCOV_COVERAGE_DUMP_START$", line):
capture_data = True
continue
if re.search("GCOV_COVERAGE_DUMP_END", line):
if re.search("^GCOV_COVERAGE_DUMP_END$", line):
reached_end = True
break
# Loop until the coverage data is found.
Expand Down

0 comments on commit 451f9d6

Please sign in to comment.