Project

General

Profile

Feature #10794

Add notes from CPAchecker SMG to code coverage

Added by Evgeny Novikov about 1 month ago. Updated 5 days ago.

Status:
Resolved
Priority:
Urgent
Category:
Results processing
Target version:
Start date:
04/07/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

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.


Related issues

Blocks Klever - Feature #10786: Describe analysis of code coverageResolvedEvgeny Novikov04/01/2021

Actions
Blocked by Klever - Feature #10754: Update CPAchecker (SMG)NewEvgeny Novikov03/13/2021

Actions
#1

Updated by Evgeny Novikov about 1 month ago

#2

Updated by Evgeny Novikov about 1 month ago

#3

Updated by Evgeny Novikov about 1 month 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.

#4

Updated by Evgeny Novikov 5 days ago

I merged this branch to better-code-coverage.

#5

Updated by Evgeny Novikov 5 days ago

  • Status changed from Feedback to Resolved

It looks like everything is okay with support of notes for code coverage in Klever.

Also available in: Atom PDF