Project

General

Profile

Feature #9454

Visualize code coverage in a new format

Added by Evgeny Novikov 6 months ago. Updated 14 days ago.

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

100%

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 6 months ago

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

Updated by Vladimir Gratinskiy 14 days ago

  • % Done changed from 0 to 50
  • Status changed from New to Open

Parialy implemented in bridge-3.0. Coverage is shown on unsafe page but without statistics. The thing is left is to add top level coverage statistics where it is needed.

#3

Updated by Vladimir Gratinskiy 14 days ago

  • % Done changed from 50 to 100
  • Status changed from Open to Resolved
  • Due date set to 07/02/2019

Added calculating and visualizing top level coverage statistics.

Also available in: Atom PDF