Feature #10794
closedAdd notes from CPAchecker SMG to code coverage
0%
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.
Updated by Evgeny Novikov about 3 years ago
- Blocks Feature #10786: Describe analysis of code coverage added
Updated by Evgeny Novikov about 3 years ago
- Blocked by Feature #10754: Update CPAchecker (SMG) added
Updated by Evgeny Novikov about 3 years ago
- 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.
Updated by Evgeny Novikov almost 3 years ago
I merged this branch to better-code-coverage.
Updated by Evgeny Novikov almost 3 years ago
- Status changed from Feedback to Resolved
It looks like everything is okay with support of notes for code coverage in Klever.
Updated by Evgeny Novikov almost 3 years ago
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in d17402872.