Feature #10794
closed
Add notes from CPAchecker SMG to code coverage
Added by Evgeny Novikov over 3 years ago.
Updated over 3 years ago.
Category:
Results processing
Description
Bridge supported visualization of notes from code coverage in our own format a long ago. Recently CPAchecker SMG started to produce some notes for code coverage in the LCOV format. Let's convert these notes from the LCOV format to our own format.
- Status changed from New to Feedback
I forgot to mention that I implemented this feature in branch coverage-notes, but I need a feedback from Anton. Moreover, at the moment there is a hardcoded kind for notes from CPAchecker SMG while potentially there may be different kinds and this should be obtained in addition to notes themselves from code coverage reports.
I merged this branch to better-code-coverage.
- Status changed from Feedback to Resolved
It looks like everything is okay with support of notes for code coverage in Klever.
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in d17402872.
Also available in: Atom
PDF