Updated coverage parsing to allow functions with colons in name.

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

https://model-checking.github.io/cbmc-viewer/

Apache License 2.0

32 stars 11 forks source link

Updated coverage parsing to allow functions with colons in name. #40

Closed vecchiot-aws closed 3 years ago

vecchiot-aws commented 3 years ago

Resolved issues: Issue #39

Description of changes: Instead of splitting FILE:FUNCTION:LINES chunk on all colons, splits it only on the first and last colon, allowing the FUNCTION to contain colons safely. File names and line numbers can't contain colons, so this should be more robust.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.