Project

General

Profile

Feature #9454

Visualize code coverage in a new format

Added by Evgeny Novikov 4 months ago.

Status:
New
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
01/25/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Core will provide code coverage in a new format soon. Bridge should process this.

In addition, to considerable optimization and simplification, this feature as well as #9453, will result in more useful code coverage representation since one will see code coverage not only for a given verification task or all verification tasks but for programs in general.

Besides, I suggest to show top-level statistics for code coverage at all places where Bridge present links to details on code coverage.


Related issues

Blocked by Klever - Feature #9453: Generate code coverage in a new formatNew01/25/2019

Actions

History

#1

Updated by Evgeny Novikov 4 months ago

  • Blocked by Feature #9453: Generate code coverage in a new format added

Also available in: Atom PDF