Project

General

Profile

Actions

Feature #10794

closed

Add notes from CPAchecker SMG to code coverage

Added by Evgeny Novikov almost 3 years ago. Updated over 2 years ago.

Status:
Closed
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 2 (0 open2 closed)

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

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

Actions
Actions

Also available in: Atom PDF